REFERENCES
- Bosm , W. , Cannon , J. and Playoust , C. 1997 . “The Magma algebra system, L: The user language” . j. symbolic comput. , 24 ( 3–4 ) : 235 – 265 . [Bosma et al. 1997], see http://www.maths.usyd.edu.au:800O/comp/magma/0verview.html
- Cannon , J. J. 1973 . “Construction of defining relators for finite groups” . Discrete math. , 5 : 105 – 129 . [cannon 1975]
- Conway , J. H. , Curtis , R. T. , Norton , S. P. , Parker , R. A. and Wilson , R. A. 1985 . Atlas of finite groups Oxford : Oxford University press. . [Conway et al. 1985]
- Gebhert , V. 1999 . An algorithm for the construction of a defining set of relations for a finite group Universitaät GH essen. . [Gebhardt 1999], Vorlesungen aus dem fachbereich mathematilk der universitaä GH essen 27
- Gebhnrdt , V. 2000 . “Constructing a short defining set of relations for a finite group” . J algebra , [Gebhardt 2000], appear
- Gollan , H. W. 1998 . A contribution to the revision project of the sporadic groups; Lyons' simple group Ly [Gollan 1998], vorlesungen aus dem fachbereich Mathe matik der Universitaä Gh essen 26 universität GH essen
- Havas , G. 1999 . “coset enumeration strategies” 191 – 199 . [Havas 1991], in issac1991; proceeding of the international Symposium on symbolic and by s.m.watt, acm press, new york
- Havas , G. and sims , c. c. 1997 . “A presention for the lyons simple groups”. ” . In computational methods for representations of groups and algebras Edited by: dräaxler , p. 241 – 249 . Essen [Havas and sims 1999], progr.Maths.179, birkhäuser, basel, 1999
- Lyons , R. 1972 . “evidence for a new finite simple group” . j. algebra , 20 : 540 – 569 . [Lyons 1972], Errata in 34(1975), 188–189
- Sims , c. c. 1972 . “the existence and uniqueness of lyons' group”. ” . In finit group 138 – 141 . 72 Gainesville , fl [Sims 1973], north-holland math.studies 7, north-holland, Amsterdam, 1973