TY - RPRT TI - Certified homotopy tracking using the Krawczyk method AU - Timothy Duff AU - Kisun Lee PY - 2024 UR - https://arxiv.org/abs/2402.07053 ID - 2402.07053 ER -