Certified homotopy tracking using the Krawczyk method

Timothy Duff, Kisun Lee

We revisit the problem of certifying the correctness of approximate solution paths computed by numerical homotopy continuation methods. We propose a conceptually simple approach ba…