# 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]
  G. Havas.
  Coset enumeration strategies.
  In Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC'91), Bonn 1991, page 191--199. ACM Press, 1991.
[HR99b]
  G. Havas and C. Ramsay.
  Proving a group trivial made easy: a case study in coset enumeration.
  Bull. Austral. Math. Soc., 62(1):105--118, 2000.
[HR99a]
  G. Havas and C. Ramsay.
  Experiments in coset enumeration.
  In W. M. Kantor and A. Seress, editors, Groups and computation, III (Columbus, OH, 1999), volume 8 of Ohio State Univ. Math. Res. Inst. Publ., page 183--192. de Gruyter, Berlin, 2001.
[Lee84]
  J. Leech.
  Coset enumeration.
  In M. D. Atkinson, editor, Proceedings of the London Mathematical Society symposium held in Durham, July 30--August 9, 1982, pages 3--18, London, 1984. Academic Press Inc. [Harcourt Brace Jovanovich Publishers].
[Neu79]
  B. H. Neumann.
  Proofs.
  The mathematical intelligencer, 2:18--19, 1979.
[Neu82]
  J. Neub"user.
  An elementary introduction to coset table methods in computational group theory.
  In C. M. Campbell and E. F. Robertson, editors, Groups--St Andrews 1981 (St Andrews, 1981), volume 71 of London Math. Soc. Lecture Note Ser., page 1--45, Cambridge, 1982. Cambridge Univ. Press.
[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, volume 48 of Encyclopedia of Mathematics and its Applications.
  Cambridge University Press, Cambridge, 1994.

[Up]