ACE : a GAP 4 package - References

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.
Colin M. Campbell, George Havas, Alexander Hulpke, and Edmund F. Robertson.
Efficient simple groups.
Communications in Algebra, 30(9):4613--4619, 2002.
T. H. Cormen, C. E. Leiserson, and R. L. Rivest.
Introduction to algorithms.
The MIT Electrical Engineering and Computer Science Series. MIT Press, Cambridge, MA, 1990.
H.S.M. Coxeter and W.O.J. Moser.
Generators and Relations for Discrete Groups.
Springer-Verlag, 3rd edition, 1972.
G. Havas.
Coset enumeration strategies.
In Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC'91), Bonn 1991, page 191textendash199. ACM Press, 1991.
George Havas and Colin Ramsay.
Coset enumeration: ACE version 3, 1999.
ACE version 3.001 is available from
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.
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.
John Leech.
Coset enumeration.
In Michael D. Atkinson, editor, Computational Group Theory, pages 3--18. Academic Press, 1984.
J. Neub"user.
An elementary introduction to coset table methods in computational group theory.
In C. M. Campbell and E. F. Robertson, editors, GroupstextendashSt Andrews 1981 (St Andrews, 1981), volume 71 of London Math. Soc. Lecture Note Ser., page 1textendash45, Cambridge, 1982. Cambridge Univ. Press.
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.
Charles C. Sims.
Computation with finitely presented groups.
Cambridge University Press, 1994.


ACE manual
March 2016