Showing 2023Show all
2 papers · 1 filter
math.DS2023
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…
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…