Computer experiments in finite algebra
Communications of the ACM
ADEPT. A HEURISTIC PROGRAM FOR PROVING THEOREMS OF GROUP THEORY
ADEPT. A HEURISTIC PROGRAM FOR PROVING THEOREMS OF GROUP THEORY
SCG '85 Proceedings of the first annual symposium on Computational geometry
Computer Science And Graduate Education In Applied Mathematics
ACM '78 Proceedings of the 1978 annual conference
Applications of coset enumeration
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
A survey of computer applications to semigroups and related structures
ACM SIGSAM Bulletin
| Hi-index | 48.22 |
Computers are being applied to an increasingly diverse range of problems in group theory. The most important areas of application at present are coset enumeration, sub-group lattices, automorphism groups of finite groups, character tables, and commutator calculus. Group theory programs range from simple combinatorial or numerical programs to large symbol manipulation systems. In this survey the more important algorithms in use are described and contrasted, and results which have been obtained using existing programs are indicated. An extensive bibliography is included.