Ibex : bibliothèque numérique C++ pour l'arithmétique d'intervalles et la programmation par contraintes

Ce logiciel a été développé (ou est en cours de développement) dans la communauté de l'Enseignement Supérieur et de la Recherche. Son état peut être variable (cf champs ci-dessous) donc sans garantie de bon fonctionnement.
Fiche dév Ens Sup - Recherche
  • Création ou MAJ importante : 13/09/13
  • Correction mineure : 13/09/13
  • Auteur de la fiche : Pascal Monasse (LIGM)
  • Responsable thématique : Teresa Gomez-Diaz (LIGM)
Mots-clés
Fonctionnalités générales du logiciel

Cette bibliothèque C++ s'utilise pour résoudre une variété de problèmes pouvant se formuler de la façon suivante :

Trouver une caractérisation fiable en boîtes (produits cartésiens d'intervalles) d'ensembles définis implicitement par contraintes.

L'adjectif "fiable" signifie que toutes les sources d'imprécision doivent être controlées :

  • approximation des nombres réels par réels à virgule flottante,
  • erreurs d'arrondi,
  • troncatures de linéarisation,
  • incertitudes des paramètres du modèle,
  • bruit de mesure,
  • ...
Contexte d’utilisation du logiciel

Outil de recherche en programmation par contraintes.

Publications liées au logiciel