Sage-Combinat : boîte à outils pour l'exploration informatique en combinatoire (algébrique)

Site web : http://combinat.sagemath.org/
Système : UNIX-like, Windows, MacOS X
Téléchargement : http://www.sagemath.org/download.html
Version évaluée : (intégrée dans Sage 4.7.2) - janvier 2012
Langue(s) de l'interface : anglais
Licence : GPL
Origine du développement : IML, Labo Maths Orsay, LIGM, LITIS, LRI, Univ Aix Marseille 1

Fiche PLUME

Création ou MAJ importante : 13/01/2012
Correction mineure : 13/01/2012
Auteur : Nicolas M. Thiéry - un des concepteurs du logiciel - Laboratoire de Mathématiques d'Orsay (Université Paris-Sud, CNRS)
Contributions importantes :
Teresa Gomez-Diaz (LIGM)
Responsable thématique : Teresa Gomez-Diaz (LIGM)
Relecteur 1 : Teresa Gomez-Diaz
Relecteur 2 : Jean-Christophe Novelli

Mots clés

Système : UNIX-like, Windows, MacOS X
Métier-activité : calcul scientifique, math
Domaine informatique : métier
Usage : informatique perso
Fonctionnalités principales : modélisation
Mots-clés divers : calcul formel
Mots-clés proposés par l'auteur : combinatoire algébrique, combinatoire énumérative, exploration informatique, mots
Origine : dév Ens Sup / Recherche
Type de licence : libre
Coût : gratuit

Description

Fonctionnalités générales

Sage-Combinat est un projet logiciel dont la mission est de :

Améliorer Sage comme boîte à outils extensible pour l’exploration informatique en combinatoire, en particulier algébrique
Fédérer la production logicielle dans ce domaine en mutualisant les efforts de développement des chercheurs impliqués, via le logiciel libre
Valoriser les résultats effectifs de la recherche
Enseigner la combinatoire

Sage-Combinat est né du portage de MuPAD-Combinat vers Sage et en est le successeur naturel.

Contexte d'utilisation dans mon laboratoire/service

Ce logiciel est utilisé et développé par une communauté de chercheurs en combinatoire pour leurs besoins propres en exploration informatique. Sage-Combinat et son prédécesseur MuPAD-Combinat ont joué un rôle essentiel dans plus de 70 publications. Voir:

Publications utilisant Sage-Combinat
Publications utilisant MuPAD-Combinat
N. Thiéry. Algèbre combinatoire et effective: des graphes aux algèbres de Kac via l’exploration informatique, Habilitation à diriger des recherches, Université d’Orsay, 2008

Note : ce dernier document contient en annexe une liste complète de publications utilisant ou concernant MuPAD-Combinat et Sage-Combinat (jusqu’à décembre 2008).

Environnement du logiciel

Logiciels connexes

Sage - fiche logiciel Fiche Plume

Autres logiciels aux fonctionnalités équivalentes

MuPAD-Combinat - fiche logiciel Fiche Plume

Environnement de développement

Type de structure associée au développement

Développement par une communauté internationale de chercheurs (voir la liste des contributeurs), répartis sur de nombreux laboratoires.

Quelques entités participant au développement hors France: University of California at Davis, University of Washington at Seattle, York University, University of Pennsylvania, Stanford University, Kaist University (voir la liste complète des institutions).

Eléments de pérennité

Communauté active
Code intégré au fur et à mesure dans Sage
> 70 publications (en incluant MuPAD-Combinat)
Financements ANR, NSF, Google

Références d'utilisateurs institutionnels

Voir la liste des contributeurs et la liste de publications.

Environnement utilisateur

Liste de diffusion ou de discussion, support et forums

Voir la page web du projet.

Documentation utilisateur

Voir la documentation intégrée ou en ligne de Sage, section combinatoire.

Contributions

Voir la page web du projet.