An Interactive Implementation of the Todd-Coxeter Algorithm.
MASSACHUSETTS INST OF TECH CAMBRIDGE PROJECT MAC
Pagination or Media Count:
The Todd-Coxeter algorithm provides a systematic approach to the enumeration of cosets of a finitely presented group. The paper describes an interactive implementation of the algorithm, including a manual on its use, examples, and methods of accessing the program. Applications of this algorithm are also discussed. Author
- Computer Programming and Software