Browsing MAC Memos (1963 - 1974) by Author "Bonneau, Richard J."

Now showing items 1-1 of 1

    • An Interactive Implementation of the ToddCoxeter Algorithm 

      Bonneau, Richard J. (1973-12)
      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, ...