FindStat : the Combinatorial Statistic Finder

Fiche ressource Article, événement, site web...
  • Création ou MAJ importante : 07/10/13
  • Correction mineure : 07/10/13
Mots-clés

FindStat : the Combinatorial Statistic Finder

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