1. From simplification to a partial theory solver for non-linear real polynomial constraints. (September 2020) Authors: Brown, Christopher W.; Vale-Enriquez, Fernando Journal: Journal of symbolic computation Issue: Volume 100(2020) Page Start: 72 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗