Michael A. Burr, Michael Byrd. Certified simultaneous isotopic approximation of pairs of curves via subdivision. In Alicia Dickenstein, Elias P. Tsigaridas, Gabriela Jeronimo, editors, Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023. pages 116-125, ACM, 2023. [doi]
Abstract is missing.