34 citations · 120 across the 27 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
math.CO2010★ 8 cited
The biHecke monoid of a finite Coxeter group and its representations
Florent Hivert, Anne Schilling, Nicolas M. Thiéry
For any finite Coxeter group W, we introduce two new objects: its cutting poset and its biHecke monoid. The cutting poset, constructed using a generalization of the notion of block…
cs.LO2010
Formal Proof of SCHUR Conjugate Function
Franck Butelle, Florent Hivert, Micaela Mayero +1
The main goal of our work is to formally prove the correctness of the key commands of the SCHUR software, an interactive program for calculating with characters of Lie groups and s…