Handbook of computational group theory /
Holt, Derek F.
Handbook of computational group theory / Derek F. Holt, Bettina Eick and Eamonn a. O'Brien - Boca Raton : CRC Press, 2023. - xvi, 514 p. : ill. ; 24 cm.
Includes index.
Includes bibliographical references.
Group Theoretical Preliminaries. History of Computational Group Theory (CGT) and Its Place Within Computational Algebra. --Methods of Representing Groups on a Computer. --Base and Strong Generating Set Methods in Finite Permutation and Matrix Groups. --Coset Enumeration. --Computation in Finite Nilpotent and Solvable Groups. -- Representation Theory, Character Theory, and Cohomology. --Algorithms Based on the Normal Structure of Finite Groups. --Libraries and Databases of Groups. --The Matrix Group Recognition Project. --Special Techniques for Computing with Very Large Groups and Their Representations. --Quotient Algorithms for Finitely Presented Groups. Rewriting Systems and the Knuth-Bendix Completion Process. --Automatic Groups (Methods Involving Finite State Automata)
This handbook covers the whole subject of computational group theory (CGT) at a level suitable for beginning graduate students who have some knowledge of group theory and computer algorithms. It develops the theory of algorithms in full detail, includes complexity analyses whenever possible, and highlights the connections between the different aspe...
9781498797887
Finite groups --Data processing.
Group theory --Data processing.
Data processing.
511.352 / HOL
Handbook of computational group theory / Derek F. Holt, Bettina Eick and Eamonn a. O'Brien - Boca Raton : CRC Press, 2023. - xvi, 514 p. : ill. ; 24 cm.
Includes index.
Includes bibliographical references.
Group Theoretical Preliminaries. History of Computational Group Theory (CGT) and Its Place Within Computational Algebra. --Methods of Representing Groups on a Computer. --Base and Strong Generating Set Methods in Finite Permutation and Matrix Groups. --Coset Enumeration. --Computation in Finite Nilpotent and Solvable Groups. -- Representation Theory, Character Theory, and Cohomology. --Algorithms Based on the Normal Structure of Finite Groups. --Libraries and Databases of Groups. --The Matrix Group Recognition Project. --Special Techniques for Computing with Very Large Groups and Their Representations. --Quotient Algorithms for Finitely Presented Groups. Rewriting Systems and the Knuth-Bendix Completion Process. --Automatic Groups (Methods Involving Finite State Automata)
This handbook covers the whole subject of computational group theory (CGT) at a level suitable for beginning graduate students who have some knowledge of group theory and computer algorithms. It develops the theory of algorithms in full detail, includes complexity analyses whenever possible, and highlights the connections between the different aspe...
9781498797887
Finite groups --Data processing.
Group theory --Data processing.
Data processing.
511.352 / HOL