An a posteriori certification algorithm for Newton homotopies

DOI10.1145/2608628.2608651zbMATH Open1325.65074OpenAlexW2093973500MaRDI QIDQ3452402FDOQ3452402

Authors: Jonathan D. Hauenstein, Ian Haywood, Alan C. jun. Liddell 

Publication date: 11 November 2015

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

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

Recommendations

• Certified predictor-corrector tracking for Newton homotopies
• Certified numerical homotopy tracking
• Robust certified numerical homotopy tracking
• An approach for certifying homotopy continuation paths. Univariate case
• Adaptive step-size selection for homotopy methods to solve polynomial equations

zbMATH Keywords

homotopy continuationalpha theoryalphacertifiedcertified trackingNewton homotopy

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Global methods, including homotopy approaches to the numerical solution of nonlinear equations (65H20) Artificial intelligence for robotics (68T40) Solving polynomial systems; resultants (13P15)

Cites Work

• Title not available (Why is that?)
• On Computable Numbers, with an Application to the Entscheidungsproblem
• An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
• Title not available (Why is that?)
• Definability and decision problems in arithmetic
• Cylindrical algebraic decomposition using validated numerics
• The Jordan Curve Theorem, Formally and Informally

Cited In (13)

• Computing complex and real tropical curves using monodromy
• Certification Using Newton-Invariant Subspaces
• Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\)
• On Computing the Nonlinearity Interval in Parametric Semidefinite Optimization
• On the equations defining some Hilbert schemes
• Using monodromy to recover symmetries of polynomial systems
• An approach for certifying homotopy continuation paths. Univariate case
• A primal-dual formulation for certifiable computations in Schubert calculus
• Mixed cell computation in HOM4ps
• Foreword. What is numerical algebraic geometry?
• Numerical computation of Galois groups
• Certified predictor-corrector tracking for Newton homotopies
• Using monodromy to statistically estimate the number of solutions

Uses Software

• Jordan

This page was built for publication: An a posteriori certification algorithm for Newton homotopies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3452402)