An Interactive Implementation of the Todd-Coxeter Algorithm.

reportActive / Technical Report | Accession Number: AD0770565 | Need Help?

Abstract:

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

Author(s):
Bonneau, Richard J.
Author Organization(s):
MASSACHUSETTS INST OF TECH CAMBRIDGE PROJECT MAC
Descriptive Note:
Technical memo.,
Pagination:
0027

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release

RECORD

Collection: TR
Identifying Numbers
Report Number(s):
MAC-TM-35
Contract/Grant Number(s):
N00014-70-A-0362-0006
 Subject Terms
Communities of Interest:
No COI(s) Identified
Descriptor(s):
*Computer programming, *Algorithms, Computations, FORTRAN
Field(s)/Group(s):
Computer Programming and Software
Keyword(s):
Symbolic programming, FORTRAN 4 programming language, MAC project
Report Date:
1973 Dec 01