VERY GOOD: The book is in very good condition, showing only the slightest signs of use or wear. It is printed on acid-free paper.
Product Details
From the back cover: "TheHandbook of Computational Group Theory offers the first complete treatment of all the fundamental methods and algorithms in CGT presented at a level accessible even to advanced undergraduate students. It develops the theory of algorithms in full detail and highlights the connections between the different aspects of CGT and with other areas of computer algebra. While acknowledging the importance of the complexity analysis of CGT algorithms, the authors' primary focus is on algorithms that perform well in practice rather than on those with the best theoretical complexity.
"Throughout the book, applications of all of the key topics and algorithms to areas both within and outside of mathematics demonstrate how CGT fits into the wider world of mathematics and science. The authors include detailed pseudocode for all of the functional algorithms and provide detailed worked examples that bring the theorems and algorithms to life.
"Features:
Provides the first reasonably accessible, comprehensive presentation of computational group theory.
Summarizes state-of-the-art methods and results, including pointers to the literature for the principal areas of CGT.
Incorporates the full underlying theory and correctness proofs of basic algorithms and presents those algorithms in pseudocode.
Includes a chapter on the recomputed stored libraries and databases of groups and character tables now publicly available."
BRIEF CONTENTS
Notation and displayed procedures
1 - A Historical Review of Computational Group Theory
2 - Background Material
3 - Representing Groups on a Computer
4 - Computation in Finite Permutation Groups
5 - Coset Enumeration
6 - Presentations of Given Groups
7 - Representation Theory, Cohomology, and Characters
8 - Computation with Polycyclic Groups
9 - Computing Quotients of Finitely Presented Groups
10 - Advanced Computations in Finite Groups
11 - Libraries and Databases
12 - Rewriting Systems and the Knuth-Bendix Completion Process
