Solving under-constrained numerical constraint satisfaction problems with IBEX - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

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.
Fichier principal
Vignette du fichier
Chabert-SCAN2018.pdf (165.93 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02008026 , version 1 (05-02-2019)

Identifiants

  • HAL Id : hal-02008026 , version 1

Citer

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⟩
83 Consultations
52 Téléchargements

Partager

More