Simulation and Optimization by Quantifier Elimination

Theory of Linear and Integer Programming

Adam N. Letchford, Alexander Schrijver · Journal of the Operational Research Society · 2000 · 5.7K 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

REDLOG

Andreas Dolzmann, Thomas Sturm · ACM SIGSAM Bulletin · 1997 · 360 citations

Computing, Computer Science, Algebra +16

Sylvester’s identity and multistep integer-preserving Gaussian elimination

E.H. Bareiss · Mathematics of Computation · 1968 · 288 citations · Full text

Natural Sciences, Computer Science, Mathematics +11

On the computational complexity and geometry of the first-order theory of the reals. Part III: Quantifier elimination

James Renegar · Journal of Symbolic Computation · 1992 · 277 citations

Computing, Computer Science, Mathematics +13