FindStat : the Combinatorial Statistic Finder

Ressource Plume
  • Création ou MAJ importante : 07/10/13
  • Correction mineure : 07/10/13
  • Auteur de la fiche : Viviane Pons (LIGM)
  • Fiches logiciel PLUME connexes : SAGE, Sage-Combinat
Mots clés

 

FindStat est à la fois une base de données et un service web pour les chercheurs en combinatoire.

La combinatoire est l'étude des ensembles finis d'objets. A ces objets, on associe souvent des nombres qu'on appelle des statistiques. Par exemple, à une permutation [2,4,1,3], on associe le nombre d'inversion (ici 3 inversions : 2 et 1, 4 et 1, 4 et 3). FindStat se propose de répertorier les différents objets combinatoires et les statistiques qui leur sont associées.

Le service web permet à un chercheur de savoir si les nombres qu'il obtient dans ses calculs correspondent à une statistique connue dans la base de données. Par ailleurs, les objets combinatoires sont liés par de nombreuses bijections et certaines statistiques se comprennent mieux sur certains objets que sur d'autres. FindStat utilise Sage et Sage-Combinat pour appliquer toutes les transformations connues sur les objets entrés par l'utilisateur et ainsi décupler le nombre de statistiques à comparer.

Publications associées :

Sarah Biley and Bridget E. Tenner
Fingerprint Databases for Theorems
AMS Notices, September 2013,
http://www.ams.org/notices/201308/rnoti-p1034.pdf