Description of the connected components of a semialgebraic set in single exponential time

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 “piano movers” problem. II. General techniques for computing topological properties of real algebraic manifolds

Jacob T. Schwartz, Micha Sharir · Advances in Applied Mathematics · 1983 · 807 citations

Natural Sciences, Computer Science, Mathematics +12

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

Some algebraic and geometric computations in PSPACE

John Canny · 1988 · 581 citations · Full text

Natural Sciences, Computer Science, Mathematics +15

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