Iterated Resultants and Rational Functions in Real Quantifier Elimination

James H. Davenport, Matthew England, Scott McCallum +1

This paper builds and extends on the authors' previous work related to the algorithmic tool, Cylindrical Algebraic Decomposition (CAD), and one of its core applications, Real Quant…