Publication:4020769
From MaRDI portal
zbMath0770.20003MaRDI QIDQ4020769
Publication date: 17 January 1993
algorithms; efficiency; bases; composition factors; composition series; strong generators; Sylow groups; block stabilizers; permutation groups of large degree
68Q25: Analysis of algorithms and problem complexity
68W30: Symbolic computation and algebraic computation
Related Items
Automorphism group computation and isomorphism testing in finite groups, The symmetric group given by a Gröbner basis