DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click HERE
to register or log in.
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
APPROVED FOR PUBLIC RELEASE