Generalized polar varieties: geometry and algorithms

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 · 609 citations

Some algebraic and geometric computations in PSPACE

John Canny · 1988 · 571 citations · Full text

The transversality of a general translate

Steven L. Kleiman · French digital mathematics library (Numdam) · 1974 · 515 citations

Computer-assisted Translation, Philosophy Of Language, Syntax +5

Ideals defined by matrices and a certain complex associated with them

J. A. Eagon, D. G. Northcott · Proceedings of the Royal Society of London A Mathematical and Physical Sciences · 1962 · 338 citations

Solving systems of polynomial inequalities in subexponential time

D. Yu. Grigor'ev, Nicolai Vorobjov · Journal of Symbolic Computation · 1988 · 325 citations

Mathematical Programming, Polynomial Inequalities, Engineering +5