IBEX

Equipe / Team : OGRE

Participants : G. Chabert, A. Goldsztejn

Licence : GNU LGPL3

Mots clés : Résolution de systèmes d'équations, optimisation globale, calcul ensembliste

Résumé : IBEX est une bibliothèque C++ pour la conception d’algorithme ensembliste haut-niveau (outils de résolution).