Robust certified numerical homotopy tracking | Publicación