TY - RPRT TI - Computing points in connected components defined by a real inequation: algorithms, complexity and implementations, Part I AU - Jérémy Berthomieu AU - Edern Gillot AU - Mohab Safey El Din PY - 2026 UR - https://arxiv.org/abs/2605.18110 ID - 2605.18110 ER -