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.
Reviewer: João R. Cardoso (Coimbra)
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 |