Sciweavers

2 search results - page 1 / 1
» Combinatorial method in the coset enumeration of symmetrical...
Sort
View
IJCM
2008
102views more  IJCM 2008»
13 years 5 months ago
Combinatorial method in the coset enumeration of symmetrically generated groups
We give an algorithm for enumerating cosets of a group defined as a finite homomorphic image of a semi-direct product of free products of cyclic groups by a group of monomial auto...
Mohamed Sayed
AISC
2010
Springer
13 years 9 months ago
Formal Proof of SCHUR Conjugate Function
Abstract. 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 gr...
Franck Butelle, Florent Hivert, Micaela Mayero, Fr...