TY  - RPRT
TI  - Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition
AU  - Matthew England
PY  - 2024
DO  - 10.1007/978-3-031-69070-9_1
UR  - https://arxiv.org/abs/2407.19781
ID  - 2407.19781
ER  -