TY - RPRT TI - Certified surface approximations using the interval Krawczyk test AU - Michael Burr AU - Jonathan D. Hauenstein AU - Kisun Lee PY - 2026 UR - https://arxiv.org/abs/2602.07718 ID - 2602.07718 ER -