# 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.
  The simple group L3(5) is efficient.
  Communications in Algebra, to appear c. 2001.
[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 Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC'91), Bonn 1991, pages 191--199. ACM Press, 1991.
[HR99a]
  George Havas and Colin Ramsay.
  Coset enumeration: ACE version 3, 1999.
  ACE version 3.001 is available from http://www.csee.uq.edu.au/~cram/ce.html.
[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]
  Joachim Neubüser.
  An elementary introduction to coset table methods in computational group theory.
  In Colin M. Campbell and Edmund F. Robertson, editors, Groups-St.Andrews 1981, Proceedings of a conference, St.Andrews 1981, volume 71 of London Math. Soc. Lecture Note Series, pages 1--45. Cambridge University Press, 1982.
[Ram99]
  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]