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.
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-02008026
Contributor : Ogre Equipe <>
Submitted on : Tuesday, February 5, 2019 - 3:07:24 PM
Last modification on : Tuesday, March 26, 2019 - 9:25:22 AM

File

Chabert-SCAN2018.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02008026, version 1

Citation

Gilles Chabert, Alexandre Goldsztejn, Christophe Jermann. Solving under-constrained numerical constraint satisfaction problems with IBEX. The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations, Sep 2018, Tokyo, Japan. ⟨hal-02008026⟩

Share

Metrics

Record views

25

Files downloads

6