Certified Surface Approximations Using the Interval Krawczyk Test.

Michael Burr, Jonathan D. Hauenstein, Kisun Lee

Browse the full ISSAC paper archive.