Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Dennis S. Arnon, Maurice Mignotte. On Mechanical Quantifier Elimination for Elementary Algebra and Geometry. Journal of Symbolic Computation, 5(1/2):237-259, 1988.
Possibly Related PublicationsThe following publications are possibly variants of this publication: On Mechanical Quantifier Elimination for Elementary Algebra and Geometry: Solution of a Non-Trivial ProblemDennis S. Arnon. eurocal 1985: 270-271 Cylindrical Algebraic Decomposition by Quantifier EliminationDennis S. Arnon, Scott McCallum. eurocal 1982: 215-222
The following publications are possibly variants of this publication: