Certified homotopy tracking using the Krawczyk method.

Timothy Duff, Kisun Lee

Browse the full ISSAC paper archive.