2 papers
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.CG2024
Certified simultaneous isotopic approximation of curves via subdivision
Michael Burr, Michael Byrd
We present a certified algorithm based on subdivision for computing an isotopic approximation to any number of curves in the plane. Our algorithm is based on the certified curve ap…