Solving Zero-Dimensional Systems Through the Rational Univariate Representation

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

Computer algebra symbolic and algebraic computation

Bruno Buchberger, George E. Collins, Rüdiger Loos et al. · ACM SIGSAM Bulletin · 1982 · 393 citations · Full text

Computing, Computer Science, Mathematics +8

Solving zero-dimensional algebraic systems

Daniel Lazard · Journal of Symbolic Computation · 1992 · 185 citations

Natural Sciences, Computer Science, Mathematics +11

Sturm-Habicht sequence

L. Gaonzalez, Henri Lombardi, Tomás Recio et al. · 1989 · 83 citations

Life Sciences, Linguistics, Computational Linguistics +4