TY - RPRT TI - Algorithmic Cost in "Exact Real Computation" AU - Jihoon Hyun AU - Holger Thies AU - Martin Ziegler PY - 2026 UR - https://arxiv.org/abs/2608.23603 ID - 2608.23603 ER -