An Interactive Implementation of the ToddCoxeter Algorithm

Author(s)
Bonneau, Richard J.
Thumbnail
DownloadMIT-LCS-TM-035.pdf (648.7Kb)
Metadata
Show full item record
Abstract
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.
Date issued
1973-12
URI
https://hdl.handle.net/1721.1/148864
Series/Report no.
MIT-LCS-TM-035MAC-TM-035
Collections