Validity proof of Lazard's method for CAD construction

Introduction to Commutative Algebra.

D. J. Lewis, B. R. McDonald, M. F. Atiyah et al. · American Mathematical Monthly · 1970 · 1.8K citations

Natural Sciences, Mathematics, Algebra +9

Analytic Functions of Several Complex Variables.

J. W. Gray, Robert C. Gunning, Hugo Rossi · American Mathematical Monthly · 1968 · 1.4K citations

Natural Sciences, Mathematics, Algebra +10

Real algebraic geometry

Choice Reviews Online · 2014 · 1.3K citations

Natural Sciences, Mathematics, Algebra +12

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

Partial Cylindrical Algebraic Decomposition for quantifier elimination

George E. Collins, Hoon Hong · Journal of Symbolic Computation · 1991 · 532 citations

Natural Sciences, Computer Science, Mathematics +8