TY  - RPRT
TI  - Iterated Resultants and Rational Functions in Real Quantifier Elimination
AU  - James H. Davenport
AU  - Matthew England
AU  - Scott McCallum
AU  - Ali K. Uncu
PY  - 2024
DO  - 10.1007/s11786-025-00606-4
UR  - https://arxiv.org/abs/2312.16210
ID  - 2312.16210
ER  -