Showing math.NAShow all
2 papers · 1 filter
math.NA2026
Rigid homotopies for sampling from algebraic varieties: a Waring structure complexity model
Abigail R. Jones, Kisun Lee, Jose Israel Rodriguez
Polynomial system solving has seen major progress in both theory and practice over the past decade. A landmark achievement was addressing Smale's 17th problem, establishing average…
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…