AN INTERACTIVE IMPLEMENTATION OF THE TODD-COXETER ALGORITHM
Robert J. Bonneau · DSpace@MIT (Massachusetts Institute of Technology) · 1973
The Todd-Coxeter algorithm provides a systematic approach to the enumeration of cosets of a finitely presented group. This memo describes an interactive implementation of algorithm, including a manual on its use, examples, and methods of accessing the program. Applications of this algorithm are also discussed.