5 citations · 11 across the 4 of their papers we have counts for
1 paper · 1 filter
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…