An Interactive Implementation of the Todd-Coxeter Algorithm.

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)

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1973
Accession Number
AD0770565

Entities

People

  • Richard J. Bonneau

Organizations

  • Massachusetts Institute of Technology

Tags

DTIC Thesaurus Topics

  • Algorithms

Readers

  • Database Systems and Applications
  • Mathematical Modeling and Probability Theory.
  • Operations Research