Equipe précédente: Naomod Equipe suivante : PACCE 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. Equipe précédente: Naomod Equipe suivante : PACCE