Articles by Florent Hivert
Réalisation de l'algèbre d'Okada et correspondance de Robinson-Schensted-Fomin du treillis de Young-Fibonacci
Il est bien connu que le treillis de Young peut s'interpréter comme le diagramme de Bratelli des groupes symétriques, décrivant, par exemple, comment les représentations irréductibles se restreignent de Sn à S_n-1. En 1975, Stanley a découvert un treillis similaire appelée treillis de Young-Fibonacci qui a été interprété comme ...
Expérimentations sur le calcul hautes performances en combinatoire énumérative et algébrique.
Summary :
In this talk, I will report on several experiments around large scale enumerations in enumerative and algebraic combinatorics.
I'll describe a methodology used to achieve large speedups in several enumeration problems. Indeed, in many combinatorial structures (permutations, partitions, monomials, young tableaux), the data can be encoded as a ...
High Performance Combinatorics
partly joint with Jean Fromentin
In this talk, I will report on several experiments around large scale enumerations in enumerative and algebraic combinatorics.
In a first part, I'll present a small framework implemented in Sagemath allowing to perform map/reduce like computations on large recursively defined sets. Though it ...
Prix pour le travail de stage de Thibaut Benjamin encadré par Florent Hivert
L'école polytechnique à attribué à Thibaut Benjamin étudiant de 3ème année un prix du stage de recherche pour son travail sur
«Une Formalisation des Représentations des Groupes Symétriques en Coq/SSReflect»
Ce travail comporte à la fois une partie théorique (lecture d'article et exposés à des groupes de ...