Robust certified numerical homotopy tracking

DOI10.1007/s10208-013-9143-2zbMath1267.14075arXiv1105.5992WikidataQ56029830 ScholiaQ56029830MaRDI QIDQ1955526

Anton Leykin, Carlos Beltran

Publication date: 14 June 2013

Published in: Foundations of Computational Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1105.5992

zbMATH Keywords

complexity; homotopy method; computer proof; polynomial systems; condition metric; symbolic-numeric methods; rational computation

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

65H20: Global methods, including homotopy approaches to the numerical solution of nonlinear equations

14Q20: Effectivity, complexity and computational aspects of algebraic geometry

Uses Software

• HOM4PS
• Macaulay2
• PHCpack
• Bertini
• alphaCertified
• NAG4M2
• NumericalAlgebraicGeometry
• pss5