TY - RPRT TI - Refined bit complexity for the computation of at least one point per connected component of a smooth complete intersection real algebraic set AU - Jesse Elliott AU - Mark Giesbrecht AU - Edern Gillot AU - Mohab Safey El Din AU - Éric Schost PY - 2026 UR - https://arxiv.org/abs/2508.20607 ID - 2508.20607 ER -