ITC : a GAP 4 package - References

P. A. Bandler.
A method for enumerating the cosets of an abstract group on a digital computer.
M. A. thesis, University of Manchester, 1956.
A. Cavicchioli.
A countable class of non-homeomorphic homology spheres with Heegard genus 2.
Geometria Dedicata, 20:345--348, 1986.
J. J. Cannon, L. A. Dimino, G. Havas, and J. M. Watson.
Implementation and analysis of the Todd-Coxeter algorithm.
Mathematics of Computation, 27:463--490, 1973.
M. Edeson.
Investigations in coset enumeration.
M. A. thesis, Canberra College of Advanced Education, since 1990 University of Canberra, 1989.
H. Felsch.
Programmierung der Restklassenabzählung einer Gruppe nach Untergruppen.
Numerische Mathematik, 3:250--256, 1961.
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.
G. Havas and C. Ramsay.
The trivial group made easy, a case study in coset enumeration.
Draft Manuscript, 1999.
G. Havas and C. Ramsay.
Experiments in coset enumeration.
J. Leech.
Coset enumeration.
In Michael D. Atkinson, editor, Computational Group Theory, Proceedings LMS Symposium on Computational Group Theory, Durham 1982, pages 3--18. Academic Press, 1984.
B. H. Neumann.
The mathematical intelligencer, 2:18--19, 1979.
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.
C. Ramsay.
ACE User Manual.
Department of Computer Science & Electrical Engineering and Department of Mathematics, The University of Queensland, QLD 4072, Australia, 1999.
C. C. Sims.
Computation with Finitely Presented Groups.
Cambridge University Press, 1994.


ITC manual
January 2004