We are experiencing minor difficulties with our submission forms, which we are working to resolve. If you have any issues while submitting items, please contact us at dspace-lib@mit.edu.

An Interactive Implementation of the ToddCoxeter Algorithm

Thumbnail Image
Download
Name

MIT-LCS-TM-035.pdf

Size

648.77 KB

Format

Adobe PDF

Checksum (MD5)

a2d75786e155c54beb7d8365cc2254ed

Author(s)
Bonneau, Richard J.
Date Issued
December 1973
Series/Report no.
MIT-LCS-TM-035
MAC-TM-035
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.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.