{"id":"arxiv/2602.07718","url":"https://arxiv.org/abs/2602.07718","tags":["math.NA","cs.SC","math.AG"],"score":0,"title":"Certified surface approximations using the interval Krawczyk test","domain":"math.NA","source":"arxiv","authors":["Michael Burr","Jonathan D. Hauenstein","Kisun Lee"],"reviews":0,"subject":"math.NA","summary":"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 existence and uniqueness of a solution to a square system of analytic equations in a region. By generalizing this test, we extend the reach of this technique to non-square systems and higher-dimensional varieties. We provide a prototype implementation and illustrate its use on several examples.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-07","reactions":{}}