Equipe précédente: Equipe suivante : CODEx GAOLEquipe / Team : OGREParticipants : Frederic Goualard (correspondant), R. ChenouardLicence : GNU LGPL3Mots clés : Arithmétique d'intervalles, calculs garantis Résumé : GAOL est une bibliothèque C++ pour le calcul garanti et la résolution de contraintes sur les intervalles réels.