2 papers
math.NA2026
Certified surface approximations using the interval Krawczyk test
Michael Burr, Jonathan D. Hauenstein, Kisun Lee
We propose an algorithm to construct a certified approximation of a surface by generalizing the Krawczyk test. The Krawczyk test is based on interval arithmetic, and confirms the e…
cs.SC2025
Certified algebraic curve projections by path tracking
Michael Burr, Michael Byrd, Kisun Lee
We present a certified algorithm that takes a smooth algebraic curve in and computes an isotopic approximation for a generic projection of the curve into $\mathbb{R}…