An Approach for Certifying Homotopy Continuation Paths

DOI10.1145/3208976.3209010zbMath1467.65056OpenAlexW2809360550WikidataQ131136638 ScholiaQ131136638MaRDI QIDQ5120222

No author found.

Publication date: 9 September 2020

Published in: Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3208976.3209010

zbMATH Keywords

homotopy continuationinterval arithmeticcertified computationwell-isolated roots

Mathematics Subject Classification ID

Global methods, including homotopy approaches to the numerical solution of nonlinear equations (65H20) General methods in interval analysis (65G40) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (3)

Using monodromy to recover symmetries of polynomial systems ⋮ A Robust Numerical Path Tracking Algorithm for Polynomial Homotopy Continuation ⋮ Clustering complex zeros of triangular systems of polynomials

This page was built for publication: An Approach for Certifying Homotopy Continuation Paths