Bibliography

  • [Ram]
    Preprint

    ACE

    C. Ramsay

  • [CDHW73]
    Article

    Implementation and analysis of the Todd-Coxeter algorithm

    J. J. Cannon, L. A. Dimino, G. Havas, J. M. Watson

    Math. Comp.Vol. 27pp. 463–4901973
  • [MKS76]
    Book

    Combinatorial group theory

    W. Magnus, A. Karrass, D. Solitar

    Dover Publications Inc.pp. xii+4441976

    Presentations of groups in terms of generators and relations

  • [AR84]
    Book Chapter

    A modified Todd-Coxeter algorithm

    D. G. Arrell, E. F. Robertson

    In Computational group theory (Durham, 1982)pp. 27–321984
  • [HKRR84]
    Book Chapter

    A Tietze transformation program

    G. Havas, P. E. Kenne, J. S. Richardson, E. F. Robertson

    In Computational group theory (Durham, 1982)pp. 69–731984
  • [Hav91]
    Conference

    Coset enumeration strategies

    G. Havas

    In ISSAC'91pp. 191–1991991
  • [Sim94]
    Book

    Computation with Finitely Presented Groups

    C. C. Sims

    Cambridge University Presspp. xiii+6041994
  • [NO96]
    Article

    Application of computers to questions like those of Burnside. II

    M. F. Newman, E. A. O'Brien

    Internat. J. Algebra Comput.Vol. 6(5)pp. 593–6051996
  • [Nic96]
    Book Chapter

    Computing nilpotent quotients of finitely presented groups

    W. Nickel

    In Geometric and computational perspectives on infinite groups (Minneapolis, MN and New Brunswick, NJ, 1994)pp. 175–1911996
  • [HEO05]
    Book

    Handbook of Computational Group Theory

    D. F. Holt, B. Eick, E. O`Brien

    Chapman and Hall/CRC2005
  • [Fab09]
    PhD Thesis

    Algorithmic analysis of presentations of groups and modules

    Anna Fabianska

    RWTH Aachen University2009
  • [PF09]
    Article

    An L2-quotient algorithm for finitely presented groups

    W. Plesken, A. Fabianska

    J. AlgebraVol. 322(3)pp. 914–9352009
  • [HH10]
    Article

    On Coxeter's families of group presentations

    G. Havas, D.F. Holt

    J. AlgebraVol. 324(5)pp. 1076–10822010
  • [CHN11]
    Conference

    On one-relator quotients of the modular group

    M. Conder, G. Havas, M. Newman

    In Proc. Groups St Andrews 2009 in Bathpp. 183–1972011
  • [Jam12]
    PhD Thesis

    An L3-U3-quotient algorithm for finitely presented groups

    Sebastian Jambor

    RWTH Aachen University2012
  • [Jam15]
    Article

    (untitled)

    DOIMR

    S. Jambor

    J. AlgebraVol. 423pp. 1109–11422015