Effective alpha theory certification using interval arithmetic: alpha theory over regions

Kisun Lee

We reexamine Smale's alpha theory as a way to certify a numerical solution to an analytic system. For a given point and a system, Smale's alpha theory determines whether Newton's m…