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 …