4 papers
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…
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}…
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…
Computability in Dynamical Systems
Michael Burr, Christian Wolf
In this paper we present an introduction to the area of computability in dynamical systems. This is a fairly new field which has received quite some attention in recent years. One…