×

Certified parallelotope continuation for one-manifolds. (English) Zbl 1298.65088

The paper aims to compute approximate solutions of nonlinear algebraic systems with \(n\) unknowns and \(n-1\) equations, whose solution manifolds are curves. A continuation algorithm with certified existence and connectivity is proposed. It is abbreviated as ParCont and involves interval analysis and parallelotopes. The authors show that using parallelotopes instead of boxes brings many advantages, such as a better fitting to the shape of the manifold. Numerical features of the algorithm are addressed as well as a comparison with other methods. Some examples are provided, including a robotics application.

MSC:

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