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