<html><head><title>ITC : a GAP 4 package - References</title></head>
<body text="#000000" bgcolor="#ffffff">
<h1><font face="Gill Sans,Helvetica,Arial">ITC</font> : a <font face="Gill Sans,Helvetica,Arial">GAP</font> 4 package - References</h1><dl>
<dt><a name="Ban56"><b>[Ban56]</b></a><dd>
P. A. Bandler.
<br> A method for enumerating the cosets of an abstract group on a digital
computer.
<br> M. A. thesis, University of Manchester, 1956.
<dt><a name="Cav86"><b>[Cav86]</b></a><dd>
A. Cavicchioli.
<br> A countable class of non-homeomorphic homology spheres with Heegard
genus 2.
<br> <em>Geometria Dedicata</em>, 20:345--348, 1986.
<dt><a name="CDHW73"><b>[CDHW73]</b></a><dd>
J. J. Cannon, L. A. Dimino, G. Havas, and J. M. Watson.
<br> Implementation and analysis of the Todd-Coxeter algorithm.
<br> <em>Mathematics of Computation</em>, 27:463--490, 1973.
<dt><a name="Ede89"><b>[Ede89]</b></a><dd>
M. Edeson.
<br> Investigations in coset enumeration.
<br> M. A. thesis, Canberra College of Advanced Education, since 1990
University of Canberra, 1989.
<dt><a name="Fel61"><b>[Fel61]</b></a><dd>
H. Felsch.
<br> Programmierung der Restklassenabzählung einer Gruppe
nach Untergruppen.
<br> <em>Numerische Mathematik</em>, 3:250--256, 1961.
<dt><a name="Hav91"><b>[Hav91]</b></a><dd>
G. Havas.
<br> Coset enumeration strategies.
<br> In <em>Proceedings of the International Symposium on Symbolic and
Algebraic Computation (ISSAC'91), Bonn 1991, page 191--199. ACM
Press, 1991.
<dt><a name="HR99b"><b>[HR99b]</b></a><dd>
G. Havas and C. Ramsay.
<br> Proving a group trivial made easy: a case study in coset enumeration.
<br> <em>Bull. Austral. Math. Soc.</em>, 62(1):105--118, 2000.
<dt><a name="HR99a"><b>[HR99a]</b></a><dd>
G. Havas and C. Ramsay.
<br> Experiments in coset enumeration.
<br> In W. M. Kantor and A. Seress, editors, <em>Groups and
computation, III (Columbus, OH, 1999)</em>, volume 8 of <em>Ohio State Univ.
Math. Res. Inst. Publ.</em>, page 183--192. de Gruyter, Berlin, 2001.
<dt><a name="Lee84"><b>[Lee84]</b></a><dd>
J. Leech.
<br> Coset enumeration.
<br> In M. D. Atkinson, editor, <em>Proceedings of the London
Mathematical Society symposium held in Durham, July 30--August 9,
1982</em>, pages 3--18, London, 1984. Academic Press Inc. [Harcourt Brace
Jovanovich Publishers].
<dt><a name="Neu79"><b>[Neu79]</b></a><dd>
B. H. Neumann.
<br> Proofs.
<br> <em>The mathematical intelligencer</em>, 2:18--19, 1979.
<dt><a name="Neu82"><b>[Neu82]</b></a><dd>
J. Neub"user.
<br> An elementary introduction to coset table methods in computational
group theory.
<br> In C. M. Campbell and E. F. Robertson, editors, <em>
Groups--St Andrews 1981 (St Andrews, 1981)</em>, volume 71 of <em>
London Math. Soc. Lecture Note Ser.</em>, page 1--45, Cambridge, 1982.
Cambridge Univ. Press.
<dt><a name="Ram99"><b>[Ram99]</b></a><dd>
C. Ramsay.
<br> <em>ACE User Manual</em>.
<br> Department of Computer Science & Electrical Engineering and
Department of Mathematics, The University of Queensland, QLD 4072, Australia,
1999.
<br> Draft.
<dt><a name="Sims94"><b>[Sims94]</b></a><dd>
C. C. Sims.
<br> <em>Computation with finitely presented groups</em>, volume 48 of <em>
Encyclopedia of Mathematics and its Applications</em>.
<br> Cambridge University Press, Cambridge, 1994.
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
