Solving under-constrained numerical constraint satisfaction problems with IBEX
Abstract
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.
| Origin | Files produced by the author(s) |
|---|