Kisun Lee, Numerical Certification and Certified Homotopy Tracking
Speaker Kisun Lee Clemson University A certified algorithm produces a solution and a certificate of correctness to a problem. Numerical certification studies certified algorithms for results obtained from numerical methods in algebraic geometry. In this talk, we discuss why numerical certification is needed in numerical algebraic geometry and introduce the Krawczyk homotopy as …

