INRIA - Logiciels : Géométrie et combinatoire

Logiciel	Plates-formes	Distribution	Licence	Equipe-Projet
Algolib : Package Maple pour la combinatoire et les fonctions spéciales.	Unix, Windows et MacOS	téléchargeable	licence négociable cdri-roc@inria.fr	ALGO
ALIAS: bibliothèque pour l'analyse et la résolution de systèmes algébriques ou non, de dimension 0, reposant sur l'analyse par intervalles	Unix	téléchargeable	distribution des librairies	COPRIN
CGAL : Une bibliothèque C++ d'algorithmes géométriques	Linux, Windows et MacOS	téléchargeable	double licence	GEOMETRICA
Gb : calcul de bases de Gröbner	Linux	téléchargeable	licence négociable cdri.lor@inria.fr	SPACES
Guimoo : visualisation des paysages et analyse des performances par l'emploi de métriques adaptées à l'optimisation multi-objective	Linux et Windows	version Windows téléchargeable	LGPL	DOLPHIN
Graphite : Atelier de géométrie numérique et modeleur 3D expérimental pour le graphisme par ordinateur	Unix et Windows	téléchargeable	GPL	ALICE
Grappe : logiciel de recherche de motifs dans les textes	Unix et MacOS	téléchargeable	licence gratuite	ADAGE
HAVEGE : un générateur logiciel de nombre aléatoires imprévisibles	Unix et Windows	téléchargeable	licence négociable cdri.ren@inria.fr	CAPS et CODES
MPFR: bibliothèque de calcul flottant en précision arbitraire avec arrondis dirigés	Unix, Windows et MacOS	téléchargeable	LGPL	SPACES
Paradiseo : plate-forme logicielle C++ orientée-objet, dédiée à la conception réutilisable de métaheuristiques parallèles hybrides	Linux, Windows et MacOS	téléchargeable	LGPL	DOLPHIN
Polylib : Librairie pour le calcul sur les polyèdres convexes	Unix	téléchargeable	GPL	COMPSYS
QI : Paramétrisation quasi-optimale de l'intersection de deux quadriques implicites	Linux	téléchargeable	licence négociable cdri.lor@inria.fr	VEGAS
RS : résolution symbolique de polynômes	Linux	téléchargeable	licence négociable cdri.lor@inria.fr	SPACES
SYNAPS : bibliothèque de calcul symbolique et numérique	Linux et cygwin	ftp	LGPL	GALAAD

Pour chaque logiciel figurant dans ce tableau, on trouve :

une brève description du logiciel qui renvoie sur la page des auteurs ;
les plates-formes sur lesquelles il peut être installé, en considérant les deux grandes familles de systèmes Unix et Windows. Les précisions d'architectures utiles à une installation effective se trouvent sur la page des auteurs ;
le mode de distribution : téléchargeable, cédérom ;
les conditions d'utilisation : libre ou licence (le chargé des relations industrielles pourra vous préciser les conditions d'acquisition) ;
le projet INRIA dans lequel a été conçu et développé ce logiciel.

Logiciel développé en collaboration avec des partenaires

Géométrie, algèbre, arithmétique et combinatoire