Ibex
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,
- ...