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/ |