Validated numerics for algebraic path tracking
From MaRDI portal
Cites work
- A robust numerical path tracking algorithm for polynomial homotopy continuation
- A Test for Existence of Solutions to Nonlinear Systems
- Algorithm 795
- An a posteriori certification algorithm for Newton homotopies
- An approach for certifying homotopy continuation paths. Univariate case
- Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic
- Certified homotopy tracking using the Krawczyk method
- Certified numerical homotopy tracking
- Certified predictor-corrector tracking for Newton homotopies
- Completeness and reduction in algebraic complexity theory
- Computation and application of Taylor polynomials with interval remainder bounds
- Handbook of floating-point arithmetic
- HomotopyContinuation.jl: a package for homotopy continuation in Julia
- scientific article; zbMATH DE number 3963074 (Why is no real title available?)
- Interval analysis: Theory and applications
- Interval Arithmetic Using SSE-2
- Introduction to Interval Analysis
- Introduction to numerical algebraic geometry
- Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
- Numerical algebraic geometry
- Numerical decomposition of the solution sets of polynomial systems into irreducible components
- Numerically solving polynomial systems with Bertini
- Robust certified numerical homotopy tracking
- SIROCCO: a library for certified polynomial root continuation
- Smale 17th Problem: Advances and Open Directions
- Taylor forms -- use and limits.
Cited in
(2)
This page was built for publication: Validated numerics for algebraic path tracking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7033565)
