Kisun Lee, Numerical Certification and Certified Homotopy Tracking
B236-1 IBS, Korea, Republic ofSpeaker 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 …