alphaCertified: certifying solutions to polynomial systems

Abstract

Smale's alpha-theory uses estimates related to the convergence of Newton's method to give criteria implying that Newton iterations will converge quadratically to solutions to a square polynomial system. The program alphaCertified implements algorithms based on alpha-theory to certify solutions to polynomial systems using both exact rational arithmetic and arbitrary precision floating point arithmetic. It also implements an algorithm to certify whether a given point corresponds to a real solution to a real polynomial system, as well as algorithms to heuristically validate solutions to overdetermined systems. Examples are presented to demonstrate the algorithms.

21 pages

References in corpus (1)

• The Secant Conjecture in the real Schubert calculus

Cited by in corpus (7)

• Numerical Algebraic Geometry: A New Perspective on String and Gauge Theories
• Energy landscape analysis of the two-dimensional nearest-neighbor ϕ^4 model
• A Collection of Challenging Optimization Problems in Science, Engineering and Economics
• Effective reconstruction of generic genus 5 curves from their theta hyperplanes
• Certifying solutions to square systems of polynomial-exponential equations
• Robust certified numerical homotopy tracking
• 3264 Conics in a Second