Complexity of computation on real algebraic numbers

Quantifier elimination for real closed fields by cylindrical algebraic decomposition

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

Geometric Quantization, Finite Field, Algebraic Analysis +3

Computer algebra symbolic and algebraic computation

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

Mathematical Programming, Symbolic Manipulation, Engineering +13

The complexity of elementary algebra and geometry

Michael Ben-Or, Dexter Kozen, John H. Reif · Journal of Computer and System Sciences · 1986 · 218 citations

Abstract Complexity, Geometry, Computational Complexity +2

XVIII. On a theory of the syzygetic relations of two rational integral functions, comprising an application to the theory of Sturm’s functions, and that of the greatest algebraical common measure

J.J. Sylvester · Philosophical Transactions of the Royal Society of London · 1853 · 167 citations

Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets

Michel Coste, Marie-Françoise Roy · Journal of Symbolic Computation · 1988 · 124 citations

Schubert Calculus, Semi-algebraic Sets, Real Algebraic Numbers +3