Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
| Download
GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
Project: cocalc-sagemath-dev-slelievre
Views: 418346%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%1%%2%W manual.bib ACE documentation Colin Ramsay3%W Joachim Neub"user4%W Greg Gamble5%%6%H $Id$7%%8%% manual.bib - BibTeX database file of ACE references910%% In previous versions, years were not attached to the keys in the true11%% `alpha' style; and BCP became Magma etc. (this change seemed sensible12%% since updates that change both the authors and year seemed probable).13%% Here is a list of the changes to the keys:14%%15%% Lee4 -> Lee70 CDHW -> CDHW73 Dok -> Dok88 Lee -> Lee8416%% War -> War77 BCP -> Magma Sch -> GAP AHT -> AHT8417%% HKRR -> HKRR84 Bee -> Bee84 Hav -> Hav91 Pla -> Pla9218%% HR -> HR99a KB -> KB70 Lee2 -> Lee77 Hav2 -> Hav7619%% Ede -> Ede89 Fel -> Fel98 Moo -> Moo97 TC -> TC3620%% Lee3 -> Lee63 Sim -> Sim94 Neu -> Neu82 Men -> Men6421%% Can -> Con65 Dic -> Dic01 HR1 -> HR01 HR2 -> HR0022%% Hig -> Hig51 Neu1 -> Neu54 Neu2 -> Neu79 CH -> CH9723%% CLR -> CLR90 MKS -> MKS76 CM -> CM722425@INCOLLECTION{Lee70,26AUTHOR = {John Leech},27TITLE = {Coset enumeration},28BOOKTITLE = {Computational Problems in Abstract Algebra},29PUBLISHER = {Pergamon Press, Oxford},30YEAR = {1970},31PAGES = {21--35},32}3334@ARTICLE{CDHW73,35AUTHOR = {John J. Cannon and Lucien A. Dimino and George Havas36and Jane M. Watson},37TITLE = {Implementation and analysis of the {Todd-Coxeter}38algorithm},39JOURNAL = {Mathematics of Computation},40YEAR = {1973},41VOLUME = {27},42NUMBER = {123},43PAGES = {463--490},44MONTH = {July}45}4647@ARTICLE{Dok88,48AUTHOR = {Dragomir Z. Dokovic},49TITLE = {Presentations of some finite simple groups},50JOURNAL = {Journal of the Australian Mathematical Society51(Series A)},52YEAR = {1988},53VOLUME = {45},54NUMBER = {2},55PAGES = {143--168},56MONTH = {October}57}5859@INCOLLECTION{Lee84,60AUTHOR = {John Leech},61TITLE = {Coset enumeration},62BOOKTITLE = {Computational Group Theory},63PUBLISHER = {Academic Press},64YEAR = {1984},65EDITOR = {Michael D. Atkinson},66PAGES = {3--18}67}6869@INCOLLECTION{War77,70AUTHOR = {J.N. Ward},71TITLE = {A note on the {Todd-Coxeter} algorithm},72BOOKTITLE = {Group Theory (Canberra, 1975)},73PUBLISHER = {Springer-{\kern-1.5pt}Verlag},74YEAR = {1977},75EDITOR = {R.A. Bryce and J. Cossey and M.F. Newman},76NUMBER = {573},77SERIES = {Lecture Notes in Mathematics},78PAGES = {126--129}79}8081@ARTICLE{Magma,82AUTHOR = {W. Bosma and J. Cannon and C. Playoust},83TITLE = {The \textsc{Magma} algebra system {I}:84the user language},85JOURNAL = {Journal of Symbolic Computation},86YEAR = {1997},87VOLUME = {24},88PAGES = {235--265}89}9091@MANUAL{GAP,92TITLE = {\textsf{GAP} -- Groups, Algorithms and Programming},93AUTHOR = {M. {Sch\"onert et al.}},94ORGANIZATION = {Lehrstuhl D f\"ur Mathematik},95ADDRESS = {Rheinisch-Westf\"alische Technische Hochschule,96Aachen},97YEAR = {1995}98}99100@INCOLLECTION{AHT84,101AUTHOR = {M.D. Atkinson and R.A. Hassan and M.P. Thorne},102TITLE = {Group theory on a micro-computer},103BOOKTITLE = {Computational Group Theory},104PUBLISHER = {Academic Press},105YEAR = {1984},106EDITOR = {Michael D. Atkinson},107PAGES = {275--280}108}109110@INCOLLECTION{HKRR84,111AUTHOR = {George Havas and P.E. Kenne and J.S. Richardson and112E.F. Robertson},113TITLE = {A {Tietze} transformation program},114115BOOKTITLE = {Computational Group Theory},116PUBLISHER = {Academic Press},117YEAR = {1984},118EDITOR = {Michael D. Atkinson},119PAGES = {69--73}120}121122@INCOLLECTION{Bee84,123AUTHOR = {M.J. Beetham},124TITLE = {Space saving in coset enumeration},125BOOKTITLE = {Computational Group Theory},126PUBLISHER = {Academic Press},127YEAR = {1984},128EDITOR = {Michael D. Atkinson},129PAGES = {19--25}130}131132%% Already included in ../../../doc/manualbib.xml.bib133%% ... by removing the `at' symbol BibTeX sees the following as comments:134%%135%% INPROCEEDINGS{Hav91,136%% AUTHOR = {George Havas},137%% TITLE = {Coset enumeration strategies},138%% BOOKTITLE = {ISSAC'91 (Proceedings of the 1991 International139%% Symposium on Symbolic and Algebraic Computation)},140%% YEAR = {1991},141%% EDITOR = {Stephen M. Watt},142%% PAGES = {191--199},143%% PUBLISHER = {ACM Press}144%% }145146@BOOK{Pla92,147AUTHOR = {P.J. Plauger},148TITLE = {The Standard {C} Library},149PUBLISHER = {Prentice Hall},150YEAR = {1992}151}152153@MISC{C11,154KEY = {Group-pub-forum},155NOTE = {Group-pub-forum e-mail list156(\Mailto{group-pub-forum@maths.bath.ac.uk}),157Problem 11, 1996.158See159{\URL{http://www2.bath.ac.uk/~masgcs/problem/problem11.htm}}}160}161162@MISC{HHKR,163AUTHOR = {George Havas and Derek F. Holt and P.E. Kenne and164Sarah Rees},165TITLE = {Some challenging group presentations},166YEAR = {1999 (preprint)}167}168169%% Already included in ../../../doc/manualbib.xml.bib170%% ... by removing the `at' symbol BibTeX sees the following as comments:171%%172%% MISC{HR99a,173%% AUTHOR = {George Havas and Colin Ramsay},174%% TITLE = {Coset enumeration: {\sf ACE} version 3},175%% YEAR = {1999},176%% NOTE = {{\sf ACE} version 3.001 is available from177%% {\URL{http://www.csee.uq.edu.au/~cram/ce.html}}}178%% }179180@MISC{HR99ace,181AUTHOR = {George Havas and Colin Ramsay},182TITLE = {Coset enumeration: {\sf ACE} version 3},183YEAR = {1999},184NOTE = {{\sf ACE} version 3.001 is available from185{\URL{http://staff.itee.uq.edu.au/havas}}}186}187188@INCOLLECTION{KB70,189AUTHOR = {D.E. Knuth and P.B. Bendix},190TITLE = {Simple word problems in universal algebras},191BOOKTITLE = {Computational Problems in Abstract Algebra},192PUBLISHER = {Pergamon Press, Oxford},193YEAR = {1970},194PAGES = {263--297},195}196197@INCOLLECTION{Lee77,198AUTHOR = {John Leech},199TITLE = {Computer proof of relations in groups},200BOOKTITLE = {Topics in Group Theory and Computation},201PUBLISHER = {Academic Press},202YEAR = {1977},203EDITOR = {Michael P.J. Curran},204PAGES = {38--61}205}206207@ARTICLE{Hav76,208AUTHOR = {George Havas},209TITLE = {Computer aided determination of a {Fibonacci} group},210JOURNAL = {Bulletin of the Australian Mathematical Society},211YEAR = {1976},212VOLUME = {15},213PAGES = {297--305}214}215216@MASTERSTHESIS{Ede89,217AUTHOR = {Margaret Edeson},218TITLE = {Investigations in coset enumeration},219SCHOOL = {Canberra College of Advanced Education},220YEAR = {1989}221}222223@MISC{Fel98,224AUTHOR = {V. Felsch},225NOTE = {E-mail to Havas, 1998}226}227228@ARTICLE{Moo97,229AUTHOR = {E.H. Moore},230TITLE = {Concerning the abstract groups of order $k!$ and231$\frac{1}{2}k!$ holohedrically isomorphic with the232symmetric and the alternating substitution-groups233on $k$ letters},234JOURNAL = {Proceedings of the London Mathematical Society (1)},235YEAR = {1897},236VOLUME = {28},237PAGES = {357--366}238}239240@ARTICLE{TC36,241AUTHOR = {J.A. Todd and H.S.M. Coxeter},242TITLE = {A practical method for enumerating cosets of finite243abstract groups},244JOURNAL = {Proceedings of the Edinburgh Mathematical Society},245YEAR = {1936},246VOLUME = {5},247PAGES = {26--34}248}249250@ARTICLE{Lee63,251AUTHOR = {J. Leech},252TITLE = {Coset enumeration on digital computers},253JOURNAL = {Proceedings of the Cambridge Philosophical Society},254YEAR = {1963},255VOLUME = {59},256PAGES = {257--267}257}258259@BOOK{Sim94,260AUTHOR = {Charles C. Sims},261TITLE = {Computation with finitely presented groups},262PUBLISHER = {Cambridge University Press},263YEAR = {1994}264}265266%% Already included in ../../../doc/manualbib.xml.bib267%% ... by removing the `at' symbol BibTeX sees the following as comments:268%%269%% INCOLLECTION{Neu82,270%% AUTHOR = {J. Neub\"{u}ser},271%% TITLE = {An elementary introduction to coset table methods in272%% computational group theory},273%% BOOKTITLE = {Groups -- St. Andrews 1981},274%% SERIES = {London Mathematical Society Lecture Note Series 71},275%% PUBLISHER = {Cambridge University Press},276%% YEAR = {1982},277%% PAGES = {1--45}278%% }279280@ARTICLE{Men64,281AUTHOR = {N.S. Mendelsohn},282TITLE = {An algorithmic solution for a word problem in group283theory},284JOURNAL = {Canadian Journal of Mathematics},285YEAR = {1964},286VOLUME = {16},287PAGES = {509--516},288NOTE = {Corrigendum: \textit{Ibid.} 17:505, 1965.}289}290291@ARTICLE{Con65,292AUTHOR = {J.H. Conway},293TITLE = {Problem \#5327},294JOURNAL = {American Mathematical Monthly},295YEAR = {1965},296VOLUME = {72},297PAGES = {915},298NOTE = {Solutions, by various authors, given in:299Generators and relations for cyclic groups,300\textit{Ibid.}, 74:91--93, 1965.}301}302303@BOOK{Dic01,304AUTHOR = {L.E. Dickson},305TITLE = {Linear Groups, with an exposition of the Galois field306theory},307PUBLISHER = {B.G. Teubner, Leipzig},308YEAR = {1901}309}310311@ARTICLE{HR00,312AUTHOR = {George Havas and Colin Ramsay},313TITLE = {Proving a group trivial made easy:314a case study in coset enumeration},315JOURNAL = {Bulletin of the Australian Mathematical Society},316YEAR = {2000},317VOLUME = {62},318NUMBER = {1},319PAGES = {105--118}320}321322@INCOLLECTION{HR01,323AUTHOR = {George Havas and Colin Ramsay},324TITLE = {Groups and Computation {III}},325BOOKTITLE = {Ohio State University Mathematical Research Institute326Publications},327VOLUME = {8},328PUBLISHER = {de Gruyter},329YEAR = {2001},330PAGES = {183--192},331}332333@ARTICLE{CHHR01,334AUTHOR = {Colin M. Campbell and George Havas and Alexander Hulpke335and Edmund F. Robertson},336TITLE = {Efficient simple groups},337JOURNAL = {Communications in Algebra},338VOLUME = {30},339NUMBER = {9},340YEAR = {2002},341PAGES = {4613--4619},342}343344@ARTICLE{CMY79,345AUTHOR = {Cannon, John J. and McKay, John and Young, Kiang Chuen},346TITLE = {The non-abelian Simple groups {$G$},347{$|G| \< 10^5$} --- presentations},348JOURNAL = {Communications in Algebra},349VOLUME = {7},350NUMBER = {13},351YEAR = {1979},352PAGES = {1397--1406},353}354355@ARTICLE{CR84,356AUTHOR = {Colin M. Campbell and Edmund F. Robertson},357TITLE = {Presentations for the Simple groups {$G$},358{$10^5 \< |G| \< 10^6$}},359JOURNAL = {Communications in Algebra},360VOLUME = {12},361NUMBER = {21},362YEAR = {1984},363PAGES = {2643--2663},364}365366@ARTICLE{Hig51,367AUTHOR = {G. Higman},368TITLE = {A finitely generated infinite simple group},369JOURNAL = {Journal of the London Mathematical Society},370YEAR = {1951},371VOLUME = {26},372PAGES = {61--64}373}374375@ARTICLE{Neu54,376AUTHOR = {B.H. Neumann},377TITLE = {An essay on free products of groups with378amalgamations},379JOURNAL = {Philosophical Transactions of the Royal Society of380London (A)},381YEAR = {1954},382VOLUME = {246},383PAGES = {503--554}384}385386@ARTICLE{Neu79,387AUTHOR = {B.H. Neumann},388TITLE = {Proofs},389JOURNAL = {The Mathematical Intelligencer},390YEAR = {1979},391VOLUME = {2},392NUMBER = {1},393PAGES = {18--19}394}395396@INCOLLECTION{CH97,397AUTHOR = {Gene Cooperman and George Havas},398TITLE = {Practical parallel coset enumeration},399BOOKTITLE = {Workshop on High Performance Computing and Gigabit400Local Area Networks},401PUBLISHER = {Springer-{\kern-1.5pt}Verlag},402YEAR = {1997},403EDITOR = {G. Cooperman and G. Michler and H. Vinck},404NUMBER = {226},405SERIES = {Lecture Notes in Control and Information Sciences},406PAGES = {15--27}407}408409%% Already included in ../../../doc/manualbib.xml.bib410%% ... by removing the `at' symbol BibTeX sees the following as comments:411%%412%% BOOK{CLR90,413%% AUTHOR = {Thomas H. Cormen and Charles E. Leiserson and Ronald414%% L. Rivest},415%% TITLE = {Introduction to Algorithms},416%% PUBLISHER = {The MIT Press},417%% YEAR = {1990}418%% }419420@BOOK{MKS76,421AUTHOR = {Wilhelm Magnus and Abraham Karrass and Daniel Solitar},422TITLE = {Combinatorial Group Theory},423PUBLISHER = {Dover},424EDITION = {2nd},425YEAR = {1976}426}427428@BOOK{CM72,429AUTHOR = {H.S.M. Coxeter and W.O.J. Moser},430TITLE = {Generators and Relations for Discrete Groups},431PUBLISHER = {Springer-Verlag},432EDITION = {3rd},433YEAR = {1972}434}435436%% Already included in ../../../doc/manualbib.xml.bib437%% ... by removing the `at' symbol BibTeX sees the following as comments:438%%439%% TECHREPORT{Ram99,440%% AUTHOR = {Colin Ramsay},441%% TITLE = {{\sf ACE} for Amateurs (Version 3.001)},442%% INSTITUTION = {Centre for Discrete Mathematics and Computing,443%% The University of Queensland},444%% YEAR = {1999},445%% NUMBER = {14},446%% ADDRESS = {St.~Lucia 4072, Australia}447%% }448449@TECHREPORT{Ram99ace,450AUTHOR = {Colin Ramsay},451TITLE = {{\sf ACE} for Amateurs (Version 3.001)},452INSTITUTION = {Centre for Discrete Mathematics and Computing,453The University of Queensland},454YEAR = {1999},455NUMBER = {14},456ADDRESS = {St.~Lucia 4072, Australia}457}458459%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%460%%461%E462463464