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 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]
ACE manual
January 2012