%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%W manual.bib ACE documentation Colin Ramsay
%W Joachim Neub"user
%W Greg Gamble
%%
%% manual.bib - BibTeX database file of ACE references
%% In previous versions, years were not attached to the keys in the true
%% `alpha' style; and BCP became Magma etc. (this change seemed sensible
%% since updates that change both the authors and year seemed probable).
%% Here is a list of the changes to the keys:
%%
%% Lee4 -> Lee70 CDHW -> CDHW73 Dok -> Dok88 Lee -> Lee84
%% War -> War77 BCP -> Magma Sch -> GAP AHT -> AHT84
%% HKRR -> HKRR84 Bee -> Bee84 Hav -> Hav91 Pla -> Pla92
%% HR -> HR99a KB -> KB70 Lee2 -> Lee77 Hav2 -> Hav76
%% Ede -> Ede89 Fel -> Fel98 Moo -> Moo97 TC -> TC36
%% Lee3 -> Lee63 Sim -> Sim94 Neu -> Neu82 Men -> Men64
%% Can -> Con65 Dic -> Dic01 HR1 -> HR01 HR2 -> HR00
%% Hig -> Hig51 Neu1 -> Neu54 Neu2 -> Neu79 CH -> CH97
%% CLR -> CLR90 MKS -> MKS76 CM -> CM72
@INCOLLECTION{Lee70,
AUTHOR = {John Leech},
TITLE = {Coset enumeration},
BOOKTITLE = {Computational Problems in
Abstract Algebra},
PUBLISHER = {Pergamon Press, Oxford},
YEAR = {1970},
PAGES = {21--35},
}
@
ARTICLE{CDHW73,
AUTHOR = {John J. Cannon and Lucien A. Dimino and George Havas
and Jane M. Watson},
TITLE = {Implementation and analysis of the {Todd-Coxeter}
algorithm},
JOURNAL = {Mathematics of Computation},
YEAR = {1973},
VOLUME = {27},
NUMBER = {123},
PAGES = {463--490},
MONTH = {July}
}
@
ARTICLE{Dok88,
AUTHOR = {Dragomir Z. Dokovic},
TITLE = {Presentations of some finite simple groups},
JOURNAL = {
Journal of the Australian Mathematical Society
(Series A)},
YEAR = {1988},
VOLUME = {45},
NUMBER = {2},
PAGES = {143--168},
MONTH = {October}
}
@INCOLLECTION{Lee84,
AUTHOR = {John Leech},
TITLE = {Coset enumeration},
BOOKTITLE = {Computational Group Theory},
PUBLISHER = {Academic Press},
YEAR = {1984},
EDITOR = {Michael D. Atkinson},
PAGES = {3--18}
}
@INCOLLECTION{War77,
AUTHOR = {J.N. Ward},
TITLE = {A note on the {Todd-Coxeter} algorithm},
BOOKTITLE = {Group Theory (Canberra, 1975)},
PUBLISHER = {Springer-{
\kern-1.5pt}Verlag},
YEAR = {1977},
EDITOR = {R.A. Bryce and J. Cossey and M.F. Newman},
NUMBER = {573},
SERIES = {Lecture Notes in Mathematics},
PAGES = {126--129}
}
@
ARTICLE{Magma,
AUTHOR = {W. Bosma and J. Cannon and C. Playoust},
TITLE = {The
\textsc{Magma} algebra system {I}:
the user
language},
JOURNAL = {
Journal of Symbolic Computation},
YEAR = {1997},
VOLUME = {24},
PAGES = {235--265}
}
@MANUAL{GAP,
TITLE = {
\textsf{GAP} -- Groups, Algorithms and Programming},
AUTHOR = {M. {Sch
\"onert et al.}},
ORGANIZATION = {Lehrstuhl D f
\"ur Mathematik},
ADDRESS = {Rheinisch-Westf
\"alische Technische Hochschule,
Aachen},
YEAR = {1995}
}
@INCOLLECTION{AHT84,
AUTHOR = {M.D. Atkinson and R.A. Hassan and M.P. Thorne},
TITLE = {Group theory on a micro-computer},
BOOKTITLE = {Computational Group Theory},
PUBLISHER = {Academic Press},
YEAR = {1984},
EDITOR = {Michael D. Atkinson},
PAGES = {275--280}
}
@INCOLLECTION{HKRR84,
AUTHOR = {George Havas and P.E. Kenne and J.S. Richardson and
E.F. Robertson},
TITLE = {A {Tietze} transformation program},
BOOKTITLE = {Computational Group Theory},
PUBLISHER = {Academic Press},
YEAR = {1984},
EDITOR = {Michael D. Atkinson},
PAGES = {69--73}
}
@INCOLLECTION{Bee84,
AUTHOR = {M.J. Beetham},
TITLE = {Space saving in coset enumeration},
BOOKTITLE = {Computational Group Theory},
PUBLISHER = {Academic Press},
YEAR = {1984},
EDITOR = {Michael D. Atkinson},
PAGES = {19--25}
}
@INPROCEEDINGS{Hav91,
AUTHOR = {George Havas},
TITLE = {Coset enumeration strategies},
BOOKTITLE = {ISSAC
'91 (Proceedings of the 1991 International
Symposium on Symbolic and Algebraic Computation)},
YEAR = {1991},
EDITOR = {Stephen M. Watt},
PAGES = {191--199},
PUBLISHER = {ACM Press}
}
@
BOOK{Pla92,
AUTHOR = {P.J. Plauger},
TITLE = {The Standard {C} Library},
PUBLISHER = {Prentice Hall},
YEAR = {1992}
}
@MISC{C11,
KEY = {Group-pub-forum},
NOTE = {Group-pub-forum e-mail list
(
\Mailto{group-pub-forum@maths.bath.ac.uk}),
Problem 11, 1996.
See
{
\URL{
http://www2.bath.ac.uk/~masgcs/problem/problem11.htm}}}
}
@MISC{HHKR,
AUTHOR = {George Havas and Derek F. Holt and P.E. Kenne and
Sarah Rees},
TITLE = {Some challenging group presentations},
YEAR = {1999 (preprint)}
}
@MISC{HR99a,
AUTHOR = {George Havas and Colin Ramsay},
TITLE = {Coset enumeration: {
\sf ACE} version 3},
YEAR = {1999},
NOTE = {{
\sf ACE} version 3.001 is available from
{
\URL{
http://www.csee.uq.edu.au/~cram/ce.html}}}
}
@MISC{HR99ace,
AUTHOR = {George Havas and Colin Ramsay},
TITLE = {Coset enumeration: {
\sf ACE} version 3},
YEAR = {1999},
NOTE = {{
\sf ACE} version 3.001 is available from
{
\URL{
http://staff.itee.uq.edu.au/havas}}}
}
@INCOLLECTION{KB70,
AUTHOR = {D.E. Knuth and P.B. Bendix},
TITLE = {Simple word problems in universal algebras},
BOOKTITLE = {Computational Problems in
Abstract Algebra},
PUBLISHER = {Pergamon Press, Oxford},
YEAR = {1970},
PAGES = {263--297},
}
@INCOLLECTION{Lee77,
AUTHOR = {John Leech},
TITLE = {Computer proof of relations in groups},
BOOKTITLE = {Topics in Group Theory and Computation},
PUBLISHER = {Academic Press},
YEAR = {1977},
EDITOR = {Michael P.J. Curran},
PAGES = {38--61}
}
@
ARTICLE{Hav76,
AUTHOR = {George Havas},
TITLE = {Computer aided determination of a {Fibonacci} group},
JOURNAL = {Bulletin of the Australian Mathematical Society},
YEAR = {1976},
VOLUME = {15},
PAGES = {297--305}
}
@MASTERSTHESIS{Ede89,
AUTHOR = {Margaret Edeson},
TITLE = {Investigations in coset enumeration},
SCHOOL = {Canberra College of Advanced Education},
YEAR = {1989}
}
@MISC{Fel98,
AUTHOR = {V. Felsch},
NOTE = {E-mail to Havas, 1998}
}
@
ARTICLE{Moo97,
AUTHOR = {E.H. Moore},
TITLE = {Concerning the
abstract groups of order $k!$ and
$
\frac{1}{2}k!$ holohedrically isomorphic with the
symmetric and the alternating substitution-groups
on $k$ letters},
JOURNAL = {Proceedings of the London Mathematical Society (1)},
YEAR = {1897},
VOLUME = {28},
PAGES = {357--366}
}
@
ARTICLE{TC36,
AUTHOR = {J.A. Todd and H.S.M. Coxeter},
TITLE = {A practical method for enumerating cosets of finite
abstract groups},
JOURNAL = {Proceedings of the Edinburgh Mathematical Society},
YEAR = {1936},
VOLUME = {5},
PAGES = {26--34}
}
@
ARTICLE{Lee63,
AUTHOR = {J. Leech},
TITLE = {Coset enumeration on digital computers},
JOURNAL = {Proceedings of the Cambridge Philosophical Society},
YEAR = {1963},
VOLUME = {59},
PAGES = {257--267}
}
@
BOOK{Sim94,
AUTHOR = {Charles C. Sims},
TITLE = {Computation with finitely presented groups},
PUBLISHER = {Cambridge University Press},
YEAR = {1994}
}
@INCOLLECTION{Neu82,
AUTHOR = {J. Neub
\"{u}ser},
TITLE = {An elementary introduction to coset table methods in
computational group theory},
BOOKTITLE = {Groups -- St. Andrews 1981},
SERIES = {London Mathematical Society Lecture Note Series 71},
PUBLISHER = {Cambridge University Press},
YEAR = {1982},
PAGES = {1--45}
}
@
ARTICLE{Men64,
AUTHOR = {N.S. Mendelsohn},
TITLE = {An algorithmic solution for a word problem in group
theory},
JOURNAL = {Canadian
Journal of Mathematics},
YEAR = {1964},
VOLUME = {16},
PAGES = {509--516},
NOTE = {Corrigendum:
\textit{Ibid.} 17:505, 1965.}
}
@
ARTICLE{Con65,
AUTHOR = {J.H. Conway},
TITLE = {Problem
\#5327},
JOURNAL = {American Mathematical Monthly},
YEAR = {1965},
VOLUME = {72},
PAGES = {915},
NOTE = {Solutions, by various authors, given in:
Generators and relations for cyclic groups,
\textit{Ibid.}, 74:91--93, 1965.}
}
@
BOOK{Dic01,
AUTHOR = {L.E. Dickson},
TITLE = {Linear Groups, with an exposition of the Galois field
theory},
PUBLISHER = {B.G. Teubner, Leipzig},
YEAR = {1901}
}
@
ARTICLE{HR00,
AUTHOR = {George Havas and Colin Ramsay},
TITLE = {Proving a group trivial made easy:
a case study in coset enumeration},
JOURNAL = {Bulletin of the Australian Mathematical Society},
YEAR = {2000},
VOLUME = {62},
NUMBER = {1},
PAGES = {105--118}
}
@INCOLLECTION{HR01,
AUTHOR = {George Havas and Colin Ramsay},
TITLE = {Groups and Computation {III}},
BOOKTITLE = {Ohio State University Mathematical Research Institute
Publications},
VOLUME = {8},
PUBLISHER = {de Gruyter},
YEAR = {2001},
PAGES = {183--192},
}
@
ARTICLE{CHHR01,
AUTHOR = {Colin M. Campbell and George Havas and Alexander Hulpke
and Edmund F. Robertson},
TITLE = {Efficient simple groups},
JOURNAL = {Communications in Algebra},
VOLUME = {30},
NUMBER = {9},
YEAR = {2002},
PAGES = {4613--4619},
}
@
ARTICLE{CMY79,
AUTHOR = {Cannon, John J. and McKay, John and Young, Kiang Chuen},
TITLE = {The non-abelian Simple groups {$G$},
{$|G|
\< 10^5$} --- presentations},
JOURNAL = {Communications in Algebra},
VOLUME = {7},
NUMBER = {13},
YEAR = {1979},
PAGES = {1397--1406},
}
@
ARTICLE{CR84,
AUTHOR = {Colin M. Campbell and Edmund F. Robertson},
TITLE = {Presentations for the Simple groups {$G$},
{$10^5
\< |G|
\< 10^6$}},
JOURNAL = {Communications in Algebra},
VOLUME = {12},
NUMBER = {21},
YEAR = {1984},
PAGES = {2643--2663},
}
@
ARTICLE{Hig51,
AUTHOR = {G. Higman},
TITLE = {A finitely generated infinite simple group},
JOURNAL = {
Journal of the London Mathematical Society},
YEAR = {1951},
VOLUME = {26},
PAGES = {61--64}
}
@
ARTICLE{Neu54,
AUTHOR = {B.H. Neumann},
TITLE = {An essay on free products of groups with
amalgamations},
JOURNAL = {Philosophical Transactions of the Royal Society of
London (A)},
YEAR = {1954},
VOLUME = {246},
PAGES = {503--554}
}
@
ARTICLE{Neu79,
AUTHOR = {B.H. Neumann},
TITLE = {Proofs},
JOURNAL = {The Mathematical Intelligencer},
YEAR = {1979},
VOLUME = {2},
NUMBER = {1},
PAGES = {18--19}
}
@INCOLLECTION{CH97,
AUTHOR = {Gene Cooperman and George Havas},
TITLE = {Practical parallel coset enumeration},
BOOKTITLE = {Workshop on High Performance Computing and Gigabit
Local Area Networks},
PUBLISHER = {Springer-{
\kern-1.5pt}Verlag},
YEAR = {1997},
EDITOR = {G. Cooperman and G. Michler and H. Vinck},
NUMBER = {226},
SERIES = {Lecture Notes in Control and Information Sciences},
PAGES = {15--27}
}
@
BOOK{CLR90,
AUTHOR = {Thomas H. Cormen and Charles E. Leiserson and Ronald
L. Rivest},
TITLE = {Introduction to Algorithms},
PUBLISHER = {The MIT Press},
YEAR = {1990}
}
@
BOOK{MKS76,
AUTHOR = {Wilhelm Magnus and Abraham Karrass and Daniel Solitar},
TITLE = {Combinatorial Group Theory},
PUBLISHER = {Dover},
EDITION = {2nd},
YEAR = {1976}
}
@
BOOK{CM72,
AUTHOR = {H.S.M. Coxeter and W.O.J. Moser},
TITLE = {Generators and Relations for Discrete Groups},
PUBLISHER = {Springer-Verlag},
EDITION = {3rd},
YEAR = {1972}
}
@TECHREPORT{Ram99,
AUTHOR = {Colin Ramsay},
TITLE = {{
\sf ACE} for Amateurs (Version 3.001)},
INSTITUTION = {Centre for Discrete Mathematics and Computing,
The University of Queensland},
YEAR = {1999},
NUMBER = {14},
ADDRESS = {St.~Lucia 4072, Australia}
}
@TECHREPORT{Ram99ace,
AUTHOR = {Colin Ramsay},
TITLE = {{
\sf ACE} for Amateurs (Version 3.001)},
INSTITUTION = {Centre for Discrete Mathematics and Computing,
The University of Queensland},
YEAR = {1999},
NUMBER = {14},
ADDRESS = {St.~Lucia 4072, Australia}
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%E
