3 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…
cs.CG2023
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…