Certified homotopy tracking using the Krawczyk method

DOI10.1145/3666000.3669699MaRDI QIDQ7033535zbMATH OpenFDO

Authors Timothy Duff, Kisun Lee

Publication date 3 February 2025

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

zbMATH Keywords

homotopy continuationinterval arithmeticKrawczyk methodnumerical algebraic geometrynumerical certificationsolving systems of polynomial equations

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cites work

• Algorithm 921: alphaCertified: certifying solutions to polynomial systems
• An a posteriori certification algorithm for Newton homotopies
• An approach for certifying homotopy continuation paths. Univariate case
• An Interval Step Control for Continuation Methods
• Certified numerical homotopy tracking
• Certifying approximate solutions to polynomial systems on Macaulay2
• Certifying zeros of polynomial systems using interval arithmetic
• Discriminant of the characteristic polynomial of a normal matrix
• Effective certification of approximate solutions to systems of equations involving analytic functions
• scientific article; zbMATH DE number 3936378 (Why is no real title available?)
• Introduction to Interval Analysis
• Motivations for an arbitrary precision interval arithmetic and the MPFI library
• Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
• Robust certified numerical homotopy tracking
• The Euclidean distance degree of an algebraic variety
• The Numerical Solution of Systems of Polynomials Arising in Engineering and Science
• Validated numerics for algebraic path tracking

Cited in

(2)

• Validated numerics for algebraic path tracking
• Certified algebraic curve projections by path tracking

This page was built for publication: Certified homotopy tracking using the Krawczyk method

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