| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/ace/htm/ (Algebra von RWTH Aachen Version 4.15.1©) Datei vom 10.3.2025 mit Größe 3 kB |
|
Quelle biblio.htm Sprache: HTML |
|||||||||||||||||
<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,Ar <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>
¤ Dauer der Verarbeitung: 0.4 Sekunden ¤*© Formatika GbR, Deutschland |
|
||||||||||||||||
2026-04-02