Real Solving for Positive Dimensional Systems

Quantifier elimination for real closed fields by cylindrical algebraic decomposition

Gary S. Collins · Medical Entomology and Zoology · 1975 · 902 citations

Natural Sciences, Computer Science, Mathematics +9

On the computational complexity and geometry of the first-order theory of the reals. Part I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals

James Renegar · Journal of Symbolic Computation · 1992 · 622 citations

Computing, Computer Science, Mathematics +14

A New Decision Method for Elementary Algebra

A. Seidenberg · Annals of Mathematics · 1954 · 543 citations

Natural Sciences, Computer Science, Mathematics +7

Solving Zero-Dimensional Systems Through the Rational Univariate Representation

Fabrice Rouillier · Applicable Algebra in Engineering Communication and Computing · 1999 · 373 citations

Natural Sciences, Mathematics, Differential Equations +11

Solving systems of polynomial inequalities in subexponential time

D. Yu. Grigor'ev, Nicolai Vorobjov · Journal of Symbolic Computation · 1988 · 332 citations

Computing, Computer Science, Mathematics +10