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…