Iterated Resultants and Rational Functions in Real Quantifier Elimination

Funding

JHD, ME and AKU are supported by the UK’s EPSRC, via the DEWCAD Project, Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition (grant numbers EP/T015713/1 and EP/T015748/1), as was SMcC’s visit to the UK to work with JHD and ME. AKU also acknowledges the support of Austrian Science Fund (FWF) project P3401-N. The authors are grateful to Jasper Nalbach whose questions about [ 17 ] led us to provide the clarification in Section 4.3 and the new Section 4.5 ; and to Chris Brown and Zoltan Kovács whose conversation prompted Section 6 . We are also grateful to Gregory Sankaran, Tereso del Río and Amirhosein Sadeghi Manesh for useful conversations on equational constraints. Finally, we express our gratitude to the anonymous referees whose comments greatly improved the final version of this paper.