Equipe ogre
| Nom | Licence | Mots clés | Lien |
| GAOL | GNU LGPL | Bibliothèque C++ ; Arithmétique d'intervalles | http://frederic.goualard.net/#research-software |
| IBEX | GNU LGPL | Bibliothèque C++ ; Résolution et optimisation par intervalle |  |
| Realpaver | BSD | Langage de modélisation et de pilotage ; Résolution par intervalles | http://pagesperso.lina.univ-nantes.fr/~granvilliers-l/realpaver/ |
