| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/itc/htm/ (GAP Algebra Version 4.15.1©) Datei vom 1.2.2022 mit Größe 3 kB |
|
Quelle biblio.htm Sprache: HTML |
|||||||||||||||||||||||||||
<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,Aria <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</em>, 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. </dl><p> [<a href="chapters.htm">Up</a>]<p> <P> <address>ITC manual<br>March 2022 </address></body></html>
¤ Dauer der Verarbeitung: 0.2 Sekunden ¤*© Formatika GbR, Deutschland |
|
||||||||||||||||||||||||||
2026-11-04