Computing in permutation and matrix groups ii: Backtrack algorithm

Mathematics of Computation

Volumn 39, Issue 160, 1982, Pages 671-680

  Butler, Gregory ^a,b  

^a MCGILL UNIVERSITY   (Canada)

^b Dept of Electrical and Computer Engineering   (Canada)

Author keywords

Backtrack algorithm; Matrix group; Permutation group

Indexed keywords

EID: 84966235179     PISSN: 00255718     EISSN: None     Source Type: Journal    
DOI: 10.1090/S0025-5718-1982-0669659-5     Document Type: Article

References (14)

1. Gregory Butler, Computational Approaches to Certain Problems in the Theory of Finite Groups, Ph. D. Thesis, University of Sydney, 1979.
2. Gregory Butler, "Computing normalizers in permutation groups," J. Algorithms. (To appear.)
3. Gregory Butler & John J. Cannon, "Computing in permutation and matrix groups. I: Normal closure, commutator subgroup, series," Math. Comp., v.39, 1982, pp.
4. Gregory Butler & John J. Cannon, "Computing in permutation and matrix groups. Ill: Sylow subgroups." (Manuscript.)
5. John J. Cannon, "Software tools for group theory," Proc. Sympos. Pure Math., vol. 37, Amer. Math. Soc., Providence, R. I., 1980, p p. 495-502.
6. John J. Cannon, Robyn Gallagher & Kim McAllister, "STACKHANDLER: A language extension for low level set processing," Programming and Implementation Manual, TR 5, Computer-Aided Mathematics Project, Department of Pure Mathematics, University of Sydney, 1974.
7. Christoph M. Hoffman, " On the complexity of intersecting permutation groups and its relationship with graph isomorphism." (Manuscript.)
8. James F. Hurley & Arunas Rudvalis, "Finite simple groups," Amer. Math. Monthly, v. 84, 1977, pp. 693-714.
9. Jeffrey S. Leon, "An algorithm for computing the automorphism group of a Hadamard matrix," J. Combin. Theory Ser. A, v. 27, 1979, p p. 289-306.
10. Jeffrey S. Leon, personal communication.
11. Brendan D. McKay, "Computing automorphisms and canonical labelling of graphs," Lecture Notes in Math., vol. 686, Springer-Verlag, Berlin and New York, 1978, pp. 223-232.
12. Heinrich Robertz, Eine Methode zur Berechnung der A utomorphismengruppe einer endliche Gruppe, Diplomarbeit, R. W. T. H. Aachen, 1976.
13. Charles C. Sims, "Determining the conjugacy classes of a permutation group," Computers in Algebra and Number Theory (Proc. Sympos. on Appl. Math., New York, 1970), G Birkhoff and M. Hall, Jr. (eds.), SIAM-AMS Proceedings, vol. 4, Amer. Math. Soc, Providence, R. I., 1971.
14. Charles C. Sims, "Computation with permutation groups," Proc. Second Sympos. on Symbolic and Algebraic Manipulation (Los Angeles, 1971), S. R. Petrick (ed.), A. C. M., New York, 1971.