<html><head><title>ACE : a GAP 4 package - References</title></head>
<body text="#000000" bgcolor="#ffffff">
<h1><font face="Gill Sans,Helvetica,Arial">ACE</font> : a <font face="Gill Sans,Helvetica,Arial">GAP</font> 4 package - References</h1><dl>
<dt><a name="CDHW73"><b>[CDHW73]</b></a><dd>
John J. Cannon, Lucien A. Dimino, George Havas, and Jane M. Watson.
<br> Implementation and analysis of the Todd-Coxeter algorithm.
<br> <em>Mathematics of Computation</em>, 27(123):463--490, July 1973.
<dt><a name="CHHR01"><b>[CHHR01]</b></a><dd>
Colin M. Campbell, George Havas, Alexander Hulpke, and Edmund F. Robertson.
<br> Efficient simple groups.
<br> <em>Communications in Algebra</em>, 30(9):4613--4619, 2002.
<dt><a name="CLR90"><b>[CLR90]</b></a><dd>
Thomas H. Cormen, Charles E. Leiserson, and Ronald L. Rivest.
<br> <em>Introduction to Algorithms</em>.
<br> The MIT Press, 1990.
<dt><a name="CM72"><b>[CM72]</b></a><dd>
H.S.M. Coxeter and W.O.J. Moser.
<br> <em>Generators and Relations for Discrete Groups</em>.
<br> Springer-Verlag, 3rd edition, 1972.
<dt><a name="Hav91"><b>[Hav91]</b></a><dd>
George Havas.
<br> Coset enumeration strategies.
<br> In Stephen M. Watt, editor, <em>ISSAC'91 (Proceedings of the 1991
International Symposium on Symbolic and Algebraic Computation)</em>, pages
191--199. ACM Press, 1991.
<dt><a name="HR99ace"><b>[HR99ace]</b></a><dd>
George Havas and Colin Ramsay.
<br> Coset enumeration: <font face="Gill Sans,Helvetica,Arial">ACE</font> version 3, 1999.
<br> <font face="Gill Sans,Helvetica,Arial">ACE</font> version 3.001 is available from
<a href="http://staff.itee.uq.edu.au/havas">http://staff.itee.uq.edu.au/havas</a>.
<dt><a name="HR01"><b>[HR01]</b></a><dd>
George Havas and Colin Ramsay.
<br> Groups and computation III.
<br> In <em>Ohio State University Mathematical Research Institute
Publications</em>, volume 8, pages 183--192. de Gruyter, 2001.
<dt><a name="Lee77"><b>[Lee77]</b></a><dd>
John Leech.
<br> Computer proof of relations in groups.
<br> In Michael P.J. Curran, editor, <em>Topics in Group Theory and
Computation</em>, pages 38--61. Academic Press, 1977.
<dt><a name="Lee84"><b>[Lee84]</b></a><dd>
John Leech.
<br> Coset enumeration.
<br> In Michael D. Atkinson, editor, <em>Computational Group Theory</em>,
pages 3--18. Academic Press, 1984.
<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 <em>Groups -- St. Andrews 1981</em>, London Mathematical Society
Lecture Note Series 71, pages 1--45. Cambridge University Press, 1982.
<dt><a name="Ram99ace"><b>[Ram99ace]</b></a><dd>
Colin Ramsay.
<br> <font face="Gill Sans,Helvetica,Arial">ACE</font> for amateurs (version 3.001).
<br> Technical Report 14, Centre for Discrete Mathematics and Computing,
The University of Queensland, St. Lucia 4072, Australia, 1999.
<dt><a name="Sim94"><b>[Sim94]</b></a><dd>
Charles C. Sims.
<br> <em>Computation with finitely presented groups</em>.
<br> Cambridge University Press, 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.
