TY - RPRT TI - Beyond Worst-Case Analysis for Symbolic Computation: Root Isolation Algorithms AU - Alperen A. Ergür AU - Josué Tonelli-Cueto AU - Elias Tsigaridas PY - 2025 UR - https://arxiv.org/abs/2506.04436 ID - 2506.04436 ER -