Certified numerical homotopy tracking | Publicación