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.
Type de document :
Communication dans un congrès
The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations, Sep 2018, Tokyo, Japan
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-02008026
Contributeur : Ogre Equipe <>
Soumis le : mardi 5 février 2019 - 15:00:05
Dernière modification le : jeudi 7 février 2019 - 01:26:17

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

16