Certifying solutions to square systems of polynomial-exponential equations

Jonathan D. Hauenstein, Viktor Levandovskyy

Smale's alpha-theory certifies that Newton iterations will converge quadratically to a solution of a square system of analytic functions based on the Newton residual and all higher…