Report - Formal Proof of SCHUR Conjugate Function?mayero/publis/Calculemus2010.pdf · program for calculating with characters of Lie groups and symmetric functions. The core of the computations

Please pass captcha verification before submit form