Showing cs.SCShow all
2 papers · 1 filter
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}…
cs.SC2024
Effective alpha theory certification using interval arithmetic: alpha theory over regions
Kisun Lee
We reexamine Smale's alpha theory as a way to certify a numerical solution to an analytic system. For a given point and a system, Smale's alpha theory determines whether Newton's m…