Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02008026
Contributor : Ogre Equipe <>
Submitted on : Tuesday, February 5, 2019 - 3:07:24 PM
Last modification on : Wednesday, January 6, 2021 - 10:28:02 PM
Long-term archiving on: : Monday, May 6, 2019 - 3:51:56 PM

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

126

Files downloads

48