4 papers
Heaps of rhombic dodecahedra, catalan congruences on alternating sign matrices, and bases of the Temperley-Lieb algebra
Florent Hivert, Vincent Pilaud, Ludovic Schwob
We prove that the excedance relation on permutations defined by N. Bergeron and L. Gagnon actually extends to a congruence of the lattice on alternating sign matrices. Motivated by…
Machine Checked Proofs and Programs in Algebraic Combinatorics
Florent Hivert
We present a library of formalized results around symmetric functions and the character theory of symmetric groups. Written in Coq/Rocq and based on the Mathematical Components lib…
Power Quotients of Plactic-like Monoids
Antoine Abram, Florent Hivert, James D. Mitchell +2
In this paper we describe the quotients of several plactic-like monoids by the least congruences containing the relations with for every generator .…
Diagram model for the Okada algebra and monoid
Florent Hivert, Jeanne Scott
It is well known that the Young lattice is the Bratelli diagram of the symmetric groups expressing how irreducible representations restrict from to . In 1988, Stanle…