Robust certified numerical homotopy tracking

Carlos Beltrán, Anton Leykin

We describe, for the first time, a completely rigorous homotopy (path--following) algorithm (in the Turing machine model) to find approximate zeros of systems of polynomial equatio…