Algorithm 921: alphaCertified: Certifying solutions to polynomial systems. 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 using both exact rational arithmetic and arbitrary precision floating point arithmetic. It also implements algorithms that certify whether a given point corresponds to a real solution, and algorithms to heuristically validate solutions to overdetermined systems. Examples are presented to demonstrate the algorithms.

This software is also peer reviewed by journal TOMS.

References in zbMATH (referenced in 44 articles )

Showing results 1 to 20 of 44.
Sorted by year (citations)

1 2 3 next

  1. Brysiewicz, Taylor: Necklaces count polynomial parametric osculants (2021)
  2. Breiding, Paul; Sturmfels, Bernd; Timme, Sascha: 3264 conics in a second (2020)
  3. Cheng, Jin-San; Dou, Xiaojie; Wen, Junyi: A new deflation method for verifying the isolated singular zeros of polynomial systems (2020)
  4. Do, Ngoc; Kuchment, Peter; Sottile, Frank: Generic properties of dispersion relations for discrete periodic operators (2020)
  5. Lairez, Pierre: Rigid continuation paths. I: Quasilinear average complexity for solving polynomial systems (2020)
  6. Moncusì, Laura Brustenga I.; Timme, Sascha; Weinstein, Madeleine: 96120: the degree of the linear orbit of a cubic surface (2020)
  7. Shirinkam, Sara; Alaeddini, Adel; Gross, Elizabeth: Identifying the number of components in Gaussian mixture models using numerical algebraic geometry (2020)
  8. Sottile, Frank: General witness sets for numerical algebraic geometry (2020)
  9. Brake, Danielle A.; Hauenstein, Jonathan D.; Vinzant, Cynthia: Computing complex and real tropical curves using monodromy (2019)
  10. Burr, Michael; Lee, Kisun; Leykin, Anton: Effective certification of approximate solutions to systems of equations involving analytic functions (2019)
  11. Hauenstein, Jonathan D.; Oeding, Luke; Ottaviani, Giorgio; Sommese, Andrew J.: Homotopy techniques for tensor decomposition and perfect identifiability (2019)
  12. Ayyildiz Akoglu, Tulay; Hauenstein, Jonathan D.; Szanto, Agnes: Certifying solutions to overdetermined and singular polynomial systems over (\mathbbQ) (2018)
  13. Dou , Xiaojie; Cheng , Jin-San: A heuristic method for certifying isolated zeros of polynomial systems (2018)
  14. Hauenstein, Jonathan D.; Kulkarni, Avinash; Sertöz, Emre C.; Sherman, Samantha N.: Certifying reality of projections (2018)
  15. Hauenstein, Jonathan D.; Regan, Margaret H.: Adaptive strategies for solving parameterized systems using homotopy continuation (2018)
  16. Cheng, Jin-San; Dou, Xiaojie: Certifying simple zeros of over-determined polynomial systems (2017)
  17. Chen, Tianran; Lee, Tsung-Lin; Li, Tien-Yien: Mixed cell computation in HOM4ps (2017)
  18. Hauenstein, Jonathan D. (ed.); Sommese, Andrew J. (ed.): Foreword. What is numerical algebraic geometry? (2017)
  19. Hauenstein, Jonathan D.; Levandovskyy, Viktor: Certifying solutions to square systems of polynomial-exponential equations (2017)
  20. Hein, Nickolas; Sottile, Frank: A lifted square formulation for certifiable Schubert calculus (2017)

1 2 3 next