<
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.
</
dl><
p>
[<
a href=
"chapters.htm">Up</
a>]<
p>
<
P>
<
address>ACE manual<
br>April
2025
</
address></
body></
html>
