Bibliography

AR84
D. G. Arrell and E. F. Robertson.
A modified Todd-Coxeter algorithm.
In Computational group theory (Durham, 1982), pages 27--32. Academic Press, London, 1984.

CDHW73
John J. Cannon, Lucien A. Dimino, George Havas, and Jane M. Watson.
Implementation and analysis of the Todd-Coxeter algorithm.
Math. Comp., 27:463--490, 1973.

CHN11
M. Conder, G. Havas, and M. Newman.
On one-relator quotients of the modular group.
In Proc. Groups St Andrews 2009 in Bath, number 387 in London Mathematical Society Lecture Note Series, pages 183--197. Cambridge University Press, 2011.

Fab09
Anna Fabianska.
Algorithmic analysis of presentations of groups and modules.
Dissertation, RWTH Aachen University, 2009.

Hav91
G. Havas.
Coset enumeration strategies.
In ISSAC'91, pages 191--199. ACM Press, 1991.

HEO05
D. F. Holt, B. Eick, and E. O`Brien.
Handbook of Computational Group Theory.
Chapman and Hall/CRC, 2005.

HH10
G. Havas and D.F. Holt.
On Coxeter's families of group presentations.
J. Algebra, 324(5):1076--1082, 2010.

HKRR84
George Havas, P. E. Kenne, J. S. Richardson, and E. F. Robertson.
A Tietze transformation program.
In Computational group theory (Durham, 1982), pages 69--73. Academic Press, London, 1984.

Jam12
Sebastian Jambor.
An L3-U3-quotient algorithm for finitely presented groups.
Phd thesis, RWTH Aachen University, 2012.

Jam15
S. Jambor.
An L2-quotient algorithm for finitely presented groups on arbitrarily many generators.
J. Algebra, 423:1109¿1142, 2015.

MKS76
Wilhelm Magnus, Abraham Karrass, and Donald Solitar.
Combinatorial group theory.
Dover Publications Inc., New York, revised edition, 1976.
Presentations of groups in terms of generators and relations.

Nic96
Werner Nickel.
Computing nilpotent quotients of finitely presented groups.
In Geometric and computational perspectives on infinite groups (Minneapolis, MN and New Brunswick, NJ, 1994), pages 175--191. Amer. Math. Soc., Providence, RI, 1996.

NO96
M. F. Newman and E. A. O'Brien.
Application of computers to questions like those of Burnside. II.
Internat. J. Algebra Comput., 6(5):593--605, 1996.

PF09
W. Plesken and A. Fabianska.
An L2-quotient algorithm for finitely presented groups.
J. Algebra, 322(3):914--935, 2009.

Ram
Colin Ramsay.
ACE.
http://www.csee.uq.edu.au/~cram/.

Sim94
Charles C. Sims.
Computation with Finitely Presented Groups.
Cambridge University Press, Cambridge, 1994.

V2.28, 13 July 2023