Certified Parallelotope Continuation for One-Manifolds

DOI10.1137/130906544zbMath1298.65088OpenAlexW4298392963MaRDI QIDQ5397617

Laurent Granvilliers, Alexandre Goldsztejn, Christophe Jermann, Benjamin T. Martin

Publication date: 24 February 2014

Published in: SIAM Journal on Numerical Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/130906544

zbMATH Keywords

algorithmnumerical examplesinterval analysisnonlinear algebraic systemcertified continuationparallelotope domains

Mathematics Subject Classification ID

Numerical computation of solutions to systems of equations (65H10) Global methods, including homotopy approaches to the numerical solution of nonlinear equations (65H20) General methods in interval analysis (65G40) Algorithms with automatic result verification (65G20)

Related Items (11)

A certified numerical algorithm for the topology of resultant and discriminant curves ⋮ Numerical roadmap of smooth bounded real algebraic surface ⋮ A certified branch \& bound approach for reliability-based optimization problems ⋮ The Directed Search Method for Unconstrained Parameter Dependent Multi-objective Optimization Problems ⋮ On continuation methods for non-linear bi-objective optimization: towards a certified interval-based approach ⋮ An Image Set-Oriented Method for the Numerical Treatment of Bi-Level Multi-objective Optimization Problems ⋮ Visualizing planar and space implicit real algebraic curves with singularities ⋮ Using monodromy to avoid high precision in homotopy continuation ⋮ A robust and efficient method for solving point distance problems by homotopy ⋮ Exclusion regions for parameter-dependent systems of equations ⋮ Reliable Computation of the Singularities of the Projection in $$\mathbb R^3$$ of a Generic Surface of $$\mathbb R^4$$

This page was built for publication: Certified Parallelotope Continuation for One-Manifolds