TY  - RPRT
TI  - Solving parameter-dependent semi-algebraic systems
AU  - Louis Gaillard
AU  - Mohab Safey El Din
PY  - 2025
DO  - 10.1145/3666000.3669718
UR  - https://arxiv.org/abs/2402.07782
ID  - 2402.07782
ER  -