Solving under-constrained numerical constraint satisfaction problems with IBEX
Résumé
Under-constrained systems of equations gives rise to manifolds of solution, which are difficult to compute. We show how the numerical constraint solver IBEXsolve is able to certify the computation of such positive dimensional manifolds using a parametric interval Newton operator.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|