1%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2%% 3%W manual.bib ACE documentation Colin Ramsay 4%W Joachim Neub"user 5%W Greg Gamble 6%% 7%% manual.bib - BibTeX database file of ACE references 8 9%% In previous versions, years were not attached to the keys in the true 10%% `alpha' style; and BCP became Magma etc. (this change seemed sensible 11%% since updates that change both the authors and year seemed probable). 12%% Here is a list of the changes to the keys: 13%% 14%% Lee4 -> Lee70 CDHW -> CDHW73 Dok -> Dok88 Lee -> Lee84 15%% War -> War77 BCP -> Magma Sch -> GAP AHT -> AHT84 16%% HKRR -> HKRR84 Bee -> Bee84 Hav -> Hav91 Pla -> Pla92 17%% HR -> HR99a KB -> KB70 Lee2 -> Lee77 Hav2 -> Hav76 18%% Ede -> Ede89 Fel -> Fel98 Moo -> Moo97 TC -> TC36 19%% Lee3 -> Lee63 Sim -> Sim94 Neu -> Neu82 Men -> Men64 20%% Can -> Con65 Dic -> Dic01 HR1 -> HR01 HR2 -> HR00 21%% Hig -> Hig51 Neu1 -> Neu54 Neu2 -> Neu79 CH -> CH97 22%% CLR -> CLR90 MKS -> MKS76 CM -> CM72 23 24@INCOLLECTION{Lee70, 25 AUTHOR = {John Leech}, 26 TITLE = {Coset enumeration}, 27 BOOKTITLE = {Computational Problems in Abstract Algebra}, 28 PUBLISHER = {Pergamon Press, Oxford}, 29 YEAR = {1970}, 30 PAGES = {21--35}, 31} 32 33@ARTICLE{CDHW73, 34 AUTHOR = {John J. Cannon and Lucien A. Dimino and George Havas 35 and Jane M. Watson}, 36 TITLE = {Implementation and analysis of the {Todd-Coxeter} 37 algorithm}, 38 JOURNAL = {Mathematics of Computation}, 39 YEAR = {1973}, 40 VOLUME = {27}, 41 NUMBER = {123}, 42 PAGES = {463--490}, 43 MONTH = {July} 44} 45 46@ARTICLE{Dok88, 47 AUTHOR = {Dragomir Z. Dokovic}, 48 TITLE = {Presentations of some finite simple groups}, 49 JOURNAL = {Journal of the Australian Mathematical Society 50 (Series A)}, 51 YEAR = {1988}, 52 VOLUME = {45}, 53 NUMBER = {2}, 54 PAGES = {143--168}, 55 MONTH = {October} 56} 57 58@INCOLLECTION{Lee84, 59 AUTHOR = {John Leech}, 60 TITLE = {Coset enumeration}, 61 BOOKTITLE = {Computational Group Theory}, 62 PUBLISHER = {Academic Press}, 63 YEAR = {1984}, 64 EDITOR = {Michael D. Atkinson}, 65 PAGES = {3--18} 66} 67 68@INCOLLECTION{War77, 69 AUTHOR = {J.N. Ward}, 70 TITLE = {A note on the {Todd-Coxeter} algorithm}, 71 BOOKTITLE = {Group Theory (Canberra, 1975)}, 72 PUBLISHER = {Springer-{\kern-1.5pt}Verlag}, 73 YEAR = {1977}, 74 EDITOR = {R.A. Bryce and J. Cossey and M.F. Newman}, 75 NUMBER = {573}, 76 SERIES = {Lecture Notes in Mathematics}, 77 PAGES = {126--129} 78} 79 80@ARTICLE{Magma, 81 AUTHOR = {W. Bosma and J. Cannon and C. Playoust}, 82 TITLE = {The \textsc{Magma} algebra system {I}: 83 the user language}, 84 JOURNAL = {Journal of Symbolic Computation}, 85 YEAR = {1997}, 86 VOLUME = {24}, 87 PAGES = {235--265} 88} 89 90@MANUAL{GAP, 91 TITLE = {\textsf{GAP} -- Groups, Algorithms and Programming}, 92 AUTHOR = {M. {Sch\"onert et al.}}, 93 ORGANIZATION = {Lehrstuhl D f\"ur Mathematik}, 94 ADDRESS = {Rheinisch-Westf\"alische Technische Hochschule, 95 Aachen}, 96 YEAR = {1995} 97} 98 99@INCOLLECTION{AHT84, 100 AUTHOR = {M.D. Atkinson and R.A. Hassan and M.P. Thorne}, 101 TITLE = {Group theory on a micro-computer}, 102 BOOKTITLE = {Computational Group Theory}, 103 PUBLISHER = {Academic Press}, 104 YEAR = {1984}, 105 EDITOR = {Michael D. Atkinson}, 106 PAGES = {275--280} 107} 108 109@INCOLLECTION{HKRR84, 110 AUTHOR = {George Havas and P.E. Kenne and J.S. Richardson and 111 E.F. Robertson}, 112 TITLE = {A {Tietze} transformation program}, 113 114 BOOKTITLE = {Computational Group Theory}, 115 PUBLISHER = {Academic Press}, 116 YEAR = {1984}, 117 EDITOR = {Michael D. Atkinson}, 118 PAGES = {69--73} 119} 120 121@INCOLLECTION{Bee84, 122 AUTHOR = {M.J. Beetham}, 123 TITLE = {Space saving in coset enumeration}, 124 BOOKTITLE = {Computational Group Theory}, 125 PUBLISHER = {Academic Press}, 126 YEAR = {1984}, 127 EDITOR = {Michael D. Atkinson}, 128 PAGES = {19--25} 129} 130 131%% Already included in ../../../doc/manualbib.xml.bib 132%% ... by removing the `at' symbol BibTeX sees the following as comments: 133%% 134%% INPROCEEDINGS{Hav91, 135%% AUTHOR = {George Havas}, 136%% TITLE = {Coset enumeration strategies}, 137%% BOOKTITLE = {ISSAC'91 (Proceedings of the 1991 International 138%% Symposium on Symbolic and Algebraic Computation)}, 139%% YEAR = {1991}, 140%% EDITOR = {Stephen M. Watt}, 141%% PAGES = {191--199}, 142%% PUBLISHER = {ACM Press} 143%% } 144 145@BOOK{Pla92, 146 AUTHOR = {P.J. Plauger}, 147 TITLE = {The Standard {C} Library}, 148 PUBLISHER = {Prentice Hall}, 149 YEAR = {1992} 150} 151 152@MISC{C11, 153 KEY = {Group-pub-forum}, 154 NOTE = {Group-pub-forum e-mail list 155 (\Mailto{group-pub-forum@maths.bath.ac.uk}), 156 Problem 11, 1996. 157 See 158 {\URL{http://www2.bath.ac.uk/~masgcs/problem/problem11.htm}}} 159} 160 161@MISC{HHKR, 162 AUTHOR = {George Havas and Derek F. Holt and P.E. Kenne and 163 Sarah Rees}, 164 TITLE = {Some challenging group presentations}, 165 YEAR = {1999 (preprint)} 166} 167 168%% Already included in ../../../doc/manualbib.xml.bib 169%% ... by removing the `at' symbol BibTeX sees the following as comments: 170%% 171%% MISC{HR99a, 172%% AUTHOR = {George Havas and Colin Ramsay}, 173%% TITLE = {Coset enumeration: {\sf ACE} version 3}, 174%% YEAR = {1999}, 175%% NOTE = {{\sf ACE} version 3.001 is available from 176%% {\URL{http://www.csee.uq.edu.au/~cram/ce.html}}} 177%% } 178 179@MISC{HR99ace, 180 AUTHOR = {George Havas and Colin Ramsay}, 181 TITLE = {Coset enumeration: {\sf ACE} version 3}, 182 YEAR = {1999}, 183 NOTE = {{\sf ACE} version 3.001 is available from 184 {\URL{http://staff.itee.uq.edu.au/havas}}} 185} 186 187@INCOLLECTION{KB70, 188 AUTHOR = {D.E. Knuth and P.B. Bendix}, 189 TITLE = {Simple word problems in universal algebras}, 190 BOOKTITLE = {Computational Problems in Abstract Algebra}, 191 PUBLISHER = {Pergamon Press, Oxford}, 192 YEAR = {1970}, 193 PAGES = {263--297}, 194} 195 196@INCOLLECTION{Lee77, 197 AUTHOR = {John Leech}, 198 TITLE = {Computer proof of relations in groups}, 199 BOOKTITLE = {Topics in Group Theory and Computation}, 200 PUBLISHER = {Academic Press}, 201 YEAR = {1977}, 202 EDITOR = {Michael P.J. Curran}, 203 PAGES = {38--61} 204} 205 206@ARTICLE{Hav76, 207 AUTHOR = {George Havas}, 208 TITLE = {Computer aided determination of a {Fibonacci} group}, 209 JOURNAL = {Bulletin of the Australian Mathematical Society}, 210 YEAR = {1976}, 211 VOLUME = {15}, 212 PAGES = {297--305} 213} 214 215@MASTERSTHESIS{Ede89, 216 AUTHOR = {Margaret Edeson}, 217 TITLE = {Investigations in coset enumeration}, 218 SCHOOL = {Canberra College of Advanced Education}, 219 YEAR = {1989} 220} 221 222@MISC{Fel98, 223 AUTHOR = {V. Felsch}, 224 NOTE = {E-mail to Havas, 1998} 225} 226 227@ARTICLE{Moo97, 228 AUTHOR = {E.H. Moore}, 229 TITLE = {Concerning the abstract groups of order $k!$ and 230 $\frac{1}{2}k!$ holohedrically isomorphic with the 231 symmetric and the alternating substitution-groups 232 on $k$ letters}, 233 JOURNAL = {Proceedings of the London Mathematical Society (1)}, 234 YEAR = {1897}, 235 VOLUME = {28}, 236 PAGES = {357--366} 237} 238 239@ARTICLE{TC36, 240 AUTHOR = {J.A. Todd and H.S.M. Coxeter}, 241 TITLE = {A practical method for enumerating cosets of finite 242 abstract groups}, 243 JOURNAL = {Proceedings of the Edinburgh Mathematical Society}, 244 YEAR = {1936}, 245 VOLUME = {5}, 246 PAGES = {26--34} 247} 248 249@ARTICLE{Lee63, 250 AUTHOR = {J. Leech}, 251 TITLE = {Coset enumeration on digital computers}, 252 JOURNAL = {Proceedings of the Cambridge Philosophical Society}, 253 YEAR = {1963}, 254 VOLUME = {59}, 255 PAGES = {257--267} 256} 257 258@BOOK{Sim94, 259 AUTHOR = {Charles C. Sims}, 260 TITLE = {Computation with finitely presented groups}, 261 PUBLISHER = {Cambridge University Press}, 262 YEAR = {1994} 263} 264 265%% Already included in ../../../doc/manualbib.xml.bib 266%% ... by removing the `at' symbol BibTeX sees the following as comments: 267%% 268%% INCOLLECTION{Neu82, 269%% AUTHOR = {J. Neub\"{u}ser}, 270%% TITLE = {An elementary introduction to coset table methods in 271%% computational group theory}, 272%% BOOKTITLE = {Groups -- St. Andrews 1981}, 273%% SERIES = {London Mathematical Society Lecture Note Series 71}, 274%% PUBLISHER = {Cambridge University Press}, 275%% YEAR = {1982}, 276%% PAGES = {1--45} 277%% } 278 279@ARTICLE{Men64, 280 AUTHOR = {N.S. Mendelsohn}, 281 TITLE = {An algorithmic solution for a word problem in group 282 theory}, 283 JOURNAL = {Canadian Journal of Mathematics}, 284 YEAR = {1964}, 285 VOLUME = {16}, 286 PAGES = {509--516}, 287 NOTE = {Corrigendum: \textit{Ibid.} 17:505, 1965.} 288} 289 290@ARTICLE{Con65, 291 AUTHOR = {J.H. Conway}, 292 TITLE = {Problem \#5327}, 293 JOURNAL = {American Mathematical Monthly}, 294 YEAR = {1965}, 295 VOLUME = {72}, 296 PAGES = {915}, 297 NOTE = {Solutions, by various authors, given in: 298 Generators and relations for cyclic groups, 299 \textit{Ibid.}, 74:91--93, 1965.} 300} 301 302@BOOK{Dic01, 303 AUTHOR = {L.E. Dickson}, 304 TITLE = {Linear Groups, with an exposition of the Galois field 305 theory}, 306 PUBLISHER = {B.G. Teubner, Leipzig}, 307 YEAR = {1901} 308} 309 310@ARTICLE{HR00, 311 AUTHOR = {George Havas and Colin Ramsay}, 312 TITLE = {Proving a group trivial made easy: 313 a case study in coset enumeration}, 314 JOURNAL = {Bulletin of the Australian Mathematical Society}, 315 YEAR = {2000}, 316 VOLUME = {62}, 317 NUMBER = {1}, 318 PAGES = {105--118} 319} 320 321@INCOLLECTION{HR01, 322 AUTHOR = {George Havas and Colin Ramsay}, 323 TITLE = {Groups and Computation {III}}, 324 BOOKTITLE = {Ohio State University Mathematical Research Institute 325 Publications}, 326 VOLUME = {8}, 327 PUBLISHER = {de Gruyter}, 328 YEAR = {2001}, 329 PAGES = {183--192}, 330} 331 332@ARTICLE{CHHR01, 333 AUTHOR = {Colin M. Campbell and George Havas and Alexander Hulpke 334 and Edmund F. Robertson}, 335 TITLE = {Efficient simple groups}, 336 JOURNAL = {Communications in Algebra}, 337 VOLUME = {30}, 338 NUMBER = {9}, 339 YEAR = {2002}, 340 PAGES = {4613--4619}, 341} 342 343@ARTICLE{CMY79, 344 AUTHOR = {Cannon, John J. and McKay, John and Young, Kiang Chuen}, 345 TITLE = {The non-abelian Simple groups {$G$}, 346 {$|G| \< 10^5$} --- presentations}, 347 JOURNAL = {Communications in Algebra}, 348 VOLUME = {7}, 349 NUMBER = {13}, 350 YEAR = {1979}, 351 PAGES = {1397--1406}, 352} 353 354@ARTICLE{CR84, 355 AUTHOR = {Colin M. Campbell and Edmund F. Robertson}, 356 TITLE = {Presentations for the Simple groups {$G$}, 357 {$10^5 \< |G| \< 10^6$}}, 358 JOURNAL = {Communications in Algebra}, 359 VOLUME = {12}, 360 NUMBER = {21}, 361 YEAR = {1984}, 362 PAGES = {2643--2663}, 363} 364 365@ARTICLE{Hig51, 366 AUTHOR = {G. Higman}, 367 TITLE = {A finitely generated infinite simple group}, 368 JOURNAL = {Journal of the London Mathematical Society}, 369 YEAR = {1951}, 370 VOLUME = {26}, 371 PAGES = {61--64} 372} 373 374@ARTICLE{Neu54, 375 AUTHOR = {B.H. Neumann}, 376 TITLE = {An essay on free products of groups with 377 amalgamations}, 378 JOURNAL = {Philosophical Transactions of the Royal Society of 379 London (A)}, 380 YEAR = {1954}, 381 VOLUME = {246}, 382 PAGES = {503--554} 383} 384 385@ARTICLE{Neu79, 386 AUTHOR = {B.H. Neumann}, 387 TITLE = {Proofs}, 388 JOURNAL = {The Mathematical Intelligencer}, 389 YEAR = {1979}, 390 VOLUME = {2}, 391 NUMBER = {1}, 392 PAGES = {18--19} 393} 394 395@INCOLLECTION{CH97, 396 AUTHOR = {Gene Cooperman and George Havas}, 397 TITLE = {Practical parallel coset enumeration}, 398 BOOKTITLE = {Workshop on High Performance Computing and Gigabit 399 Local Area Networks}, 400 PUBLISHER = {Springer-{\kern-1.5pt}Verlag}, 401 YEAR = {1997}, 402 EDITOR = {G. Cooperman and G. Michler and H. Vinck}, 403 NUMBER = {226}, 404 SERIES = {Lecture Notes in Control and Information Sciences}, 405 PAGES = {15--27} 406} 407 408%% Already included in ../../../doc/manualbib.xml.bib 409%% ... by removing the `at' symbol BibTeX sees the following as comments: 410%% 411%% BOOK{CLR90, 412%% AUTHOR = {Thomas H. Cormen and Charles E. Leiserson and Ronald 413%% L. Rivest}, 414%% TITLE = {Introduction to Algorithms}, 415%% PUBLISHER = {The MIT Press}, 416%% YEAR = {1990} 417%% } 418 419@BOOK{MKS76, 420 AUTHOR = {Wilhelm Magnus and Abraham Karrass and Daniel Solitar}, 421 TITLE = {Combinatorial Group Theory}, 422 PUBLISHER = {Dover}, 423 EDITION = {2nd}, 424 YEAR = {1976} 425} 426 427@BOOK{CM72, 428 AUTHOR = {H.S.M. Coxeter and W.O.J. Moser}, 429 TITLE = {Generators and Relations for Discrete Groups}, 430 PUBLISHER = {Springer-Verlag}, 431 EDITION = {3rd}, 432 YEAR = {1972} 433} 434 435%% Already included in ../../../doc/manualbib.xml.bib 436%% ... by removing the `at' symbol BibTeX sees the following as comments: 437%% 438%% TECHREPORT{Ram99, 439%% AUTHOR = {Colin Ramsay}, 440%% TITLE = {{\sf ACE} for Amateurs (Version 3.001)}, 441%% INSTITUTION = {Centre for Discrete Mathematics and Computing, 442%% The University of Queensland}, 443%% YEAR = {1999}, 444%% NUMBER = {14}, 445%% ADDRESS = {St.~Lucia 4072, Australia} 446%% } 447 448@TECHREPORT{Ram99ace, 449 AUTHOR = {Colin Ramsay}, 450 TITLE = {{\sf ACE} for Amateurs (Version 3.001)}, 451 INSTITUTION = {Centre for Discrete Mathematics and Computing, 452 The University of Queensland}, 453 YEAR = {1999}, 454 NUMBER = {14}, 455 ADDRESS = {St.~Lucia 4072, Australia} 456} 457 458%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 459%% 460%E 461