@misc{indiciae5c3443142bd8, title = {Solving parameter-dependent semi-algebraic systems}, author = {Louis Gaillard and Mohab Safey El Din}, year = {2025}, doi = {10.1145/3666000.3669718}, url = {https://arxiv.org/abs/2402.07782}, note = {Source identifier: 2402.07782} }