Section: New Software and Platforms

IBEX

pour le calcul ensembliste (calcul numérique garanti avec propagation rigoureuse d'incertitudes)

Keyword: Constraint Programming

Scientific Description

In 2014 the development on IBEX has focused on the following points:

Rejection test based on first-order conditions (see First Order Rejection Tests For Multiple-Objective Optimization, A. Goldsztejn et al. [42] ).

Q-intersection (see Q-intersection Algorithms for Constraint-Based Robust Parameter Estimation, C. Carbonnel et al., AAAI 2014)

Functional Description

IBEX is a C++ library for solving nonlinear constraints over real numbers. The main feature of Ibex is its ability to build solver/paver strategies declaratively through the contractor programming paradigm. It also comes with a black-box solver and a global optimizer.

• Participants: Ignacio Araya, Gilles Chabert, Bertrand Neveu, Ignacio Salas Donoso and Gilles Trombettoni

• Partners: ENSTA - Ecole des Ponts ParisTech

• Contact: Gilles Chabert

• URL: http://www.ibex-lib.org/