![Algorithms and Complexity in Algebraic Geometry_hi-res logo](/sites/default/files/styles/workshop_banner_sm_1x/public/2023-01/Algorithms%20and%20Complexity%20in%20Algebraic%20Geometry_hi-res.jpg?h=450de763&itok=r3pqykMn)
Description
Introduction to Alpha-theory
Alpha-theory provides a rigorous way to certify approximate solutions for analytic equations. It was introduced by Steve Smale in the 80's, and is one of the main tools to produce robust path-following algorithms with rigorous complexity estimates.
In this first talk, I will introduce the main invariants and prove the "gamma theorem." The proof of the "alpha theorem" with optimal constant will be given in a subsequent lecture.
This is also the organizational meeting for this seminar.
All scheduled dates:
Upcoming
No Upcoming activities yet