Effective certification of approximate solutions to systems of equations involving analytic functions

Michael Burr, Kisun Lee, Anton Leykin

We develop algorithms for certifying an approximation to a nonsingular solution of a square system of equations built from univariate analytic functions. These algorithms are based…