An Approach for Certifying Homotopy Continuation Paths: Univariate Case.

Juan Xu, Michael A. Burr, Chee Yap

Browse the full ISSAC paper archive.