ITC : a GAP 4 package - References

[Ban56]
P. A. Bandler.
A method for enumerating the cosets of an abstract group on a digital computer.
M. A. thesis, University of Manchester, 1956.
[Cav86]
A. Cavicchioli.
A countable class of non-homeomorphic homology spheres with Heegard genus 2.
Geometria Dedicata, 20:345--348, 1986.
[CDHW73]
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.
[Ede89]
M. Edeson.
Investigations in coset enumeration.
M. A. thesis, Canberra College of Advanced Education, since 1990 University of Canberra, 1989.
[Fel61]
H. Felsch.
Programmierung der Restklassenabzählung einer Gruppe nach Untergruppen.
Numerische Mathematik, 3:250--256, 1961.
[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.
[HR99b]
G. Havas and C. Ramsay.
The trivial group made easy, a case study in coset enumeration.
Draft Manuscript, 1999.
[HR99a]
G. Havas and C. Ramsay.
Experiments in coset enumeration.
2001.
[Lee84]
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.
[Neu79]
B. H. Neumann.
Proofs.
The mathematical intelligencer, 2:18--19, 1979.
[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]
C. Ramsay.
ACE User Manual.
Department of Computer Science & Electrical Engineering and Department of Mathematics, The University of Queensland, QLD 4072, Australia, 1999.
Draft.
[Sims94]
C. C. Sims.
Computation with Finitely Presented Groups.
Cambridge University Press, 1994.

[Up]

ITC manual
January 2004