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.
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.
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.
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.
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].
B. H. Neumann.
The mathematical intelligencer, 2:18--19, 1979.
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.
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, volume 48 of Encyclopedia of Mathematics and its Applications.
Cambridge University Press, Cambridge, 1994.


ITC manual
March 2022