Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma

Benutzer


products/Sources/formale Sprachen/GAP/pkg/ace/htm/ (GAP Algebra Version 4.15.1^©) Datei vom 10.3.2025 mit Größe 3 kB

Quelle biblio.htm

Sprache: HTML

products/Sources/formale Sprachen/GAP/pkg/ace/htm/biblio.htm

<html><head><title>ACE : a GAP 4 package - References</title></head>
<body text="#000000" bgcolor="#ffffff">
<h1>ACE : a GAP 4 package - References</h1><dl>

<dt><a name="CDHW73">[CDHW73]</a><dd>
John J. Cannon, Lucien A. Dimino, George Havas, and Jane M. Watson.
 Implementation and analysis of the Todd-Coxeter algorithm.
 Mathematics of Computation, 27(123):463--490, July 1973.

<dt><a name="CHHR01">[CHHR01]</a><dd>
Colin M. Campbell, George Havas, Alexander Hulpke, and Edmund F. Robertson.
 Efficient simple groups.
 Communications in Algebra, 30(9):4613--4619, 2002.

<dt><a name="CLR90">[CLR90]</a><dd>
Thomas H. Cormen, Charles E. Leiserson, and Ronald L. Rivest.
 Introduction to Algorithms.
 The MIT Press, 1990.

<dt><a name="CM72">[CM72]</a><dd>
H.S.M. Coxeter and W.O.J. Moser.
 Generators and Relations for Discrete Groups.
 Springer-Verlag, 3rd edition, 1972.

<dt><a name="Hav91">[Hav91]</a><dd>
George Havas.
 Coset enumeration strategies.
 In Stephen M. Watt, editor, ISSAC'91 (Proceedings of the 1991
 International Symposium on Symbolic and Algebraic Computation), pages
 191--199. ACM Press, 1991.

<dt><a name="HR99ace">[HR99ace]</a><dd>
George Havas and Colin Ramsay.
 Coset enumeration: ACE version 3, 1999.
 ACE 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">[HR01]</a><dd>
George Havas and Colin Ramsay.
 Groups and computation III.
 In Ohio State University Mathematical Research Institute
 Publications, volume 8, pages 183--192. de Gruyter, 2001.

<dt><a name="Lee77">[Lee77]</a><dd>
John Leech.
 Computer proof of relations in groups.
 In Michael P.J. Curran, editor, Topics in Group Theory and
 Computation, pages 38--61. Academic Press, 1977.

<dt><a name="Lee84">[Lee84]</a><dd>
John Leech.
 Coset enumeration.
 In Michael D. Atkinson, editor, Computational Group Theory,
 pages 3--18. Academic Press, 1984.

<dt><a name="Neu82">[Neu82]</a><dd>
J. Neub"user.
 An elementary introduction to coset table methods in computational
 group theory.
 In Groups -- St. Andrews 1981, London Mathematical Society
 Lecture Note Series 71, pages 1--45. Cambridge University Press, 1982.

<dt><a name="Ram99ace">[Ram99ace]</a><dd>
Colin Ramsay.
 ACE for amateurs (version 3.001).
 Technical Report 14, Centre for Discrete Mathematics and Computing,
 The University of Queensland, St. Lucia 4072, Australia, 1999.

<dt><a name="Sim94">[Sim94]</a><dd>
Charles C. Sims.
 Computation with finitely presented groups.
 Cambridge University Press, 1994.

</dl>
[<a href="chapters.htm">Up</a>]

<address>ACE manual April 2025
</address></body></html>

Messung V0.5 in Prozent

¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet am 2026-06-26) ¤

Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

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.