Computing real witness points of positive dimensional polynomial systems

Complexity and real computation

Choice Reviews Online · 1998 · 1.3K citations

Computing, Computer Science, Mathematics +17

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

A New Decision Method for Elementary Algebra

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

Natural Sciences, Computer Science, Mathematics +7

Real quantifier elimination is doubly exponential

James H. Davenport, Joos Heintz · Journal of Symbolic Computation · 1988 · 326 citations

Humanities, Computer Science, Mathematics +3

Perturbation theory for the singular value decomposition

G. W. Stewart · Digital Repository at the University of Maryland (University of Maryland College Park) · 1990 · 223 citations · Full text

Natural Sciences, Mathematics, Physics +13