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]