ACE : a GAP 4 package - References

[CDHW73]
John J. Cannon, Lucien A. Dimino, George Havas, and Jane M. Watson.
Implementation and analysis of the Todd-Coxeter algorithm.
Mathematics of Computation, 27(123):463--490, July 1973.
[CHHR01]
Colin M. Campbell, George Havas, Alexander Hulpke, and Edmund F. Robertson.
Efficient simple groups.
Communications in Algebra, 30(9):4613--4619, 2002.
[CLR90]
Thomas H. Cormen, Charles E. Leiserson, and Ronald L. Rivest.
Introduction to Algorithms.
The MIT Press, 1990.
[CM72]
H.S.M. Coxeter and W.O.J. Moser.
Generators and Relations for Discrete Groups.
Springer-Verlag, 3rd edition, 1972.
[Hav91]
George Havas.
Coset enumeration strategies.
In Stephen M. Watt, editor, ISSAC'91 (Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation), pages 191--199. ACM Press, 1991.
[HR99ace]
George Havas and Colin Ramsay.
Coset enumeration: ACE version 3, 1999.
ACE version 3.001 is available from http://staff.itee.uq.edu.au/havas.
[HR01]
George Havas and Colin Ramsay.
Groups and computation III.
In Ohio State University Mathematical Research Institute Publications, volume 8, pages 183--192. de Gruyter, 2001.
[Lee77]
John Leech.
Computer proof of relations in groups.
In Michael P.J. Curran, editor, Topics in Group Theory and Computation, pages 38--61. Academic Press, 1977.
[Lee84]
John Leech.
Coset enumeration.
In Michael D. Atkinson, editor, Computational Group Theory, pages 3--18. Academic Press, 1984.
[Neu82]
J. Neub"user.
An elementary introduction to coset table methods in computational group theory.
In Groups -- St. Andrews 1981, London Mathematical Society Lecture Note Series 71, pages 1--45. Cambridge University Press, 1982.
[Ram99ace]
Colin Ramsay.
ACE for amateurs (version 3.001).
Technical Report 14, Centre for Discrete Mathematics and Computing, The University of Queensland, St. Lucia 4072, Australia, 1999.
[Sim94]
Charles C. Sims.
Computation with finitely presented groups.
Cambridge University Press, 1994.

[Up]

ACE manual
January 2023