Algorithm 921

Smale’s α -theory uses estimates related to the convergence of Newton’s method to certify that Newton iterations will converge quadratically to solutions to a square polynomial system. The program alphaCertified implements algorithms based on α -theory to certify solutions of polynomial systems usin... View More