CAYLEY(ID:710/cay002)

Symbolic maths for group theory 

1974

• Cannon, J.J. (1974) Cannon, J.J. "A general purpose group theory program" pp204-217
        in Proceedings 2nd Internal. (1974) Proceedings 2nd Internal. Conference Theory of Groups. Lecture Notes in Math., Vol. 372, Springer, Berlin, 1974

1976

• Cannon, John J. (1976) Cannon, John J. "A draft description of the group theory language Cayley" p66-84 Abstract Extract: Design Philosophy
        in [ACM] (1976) Proceedings of the Third ACM symposium on Symbolic and algebraic computation, August 10-12, 1976, Yorktown Heights, New York, United States

1981

• Cannon, John J. (1981) Cannon, John J. "The basis of a computer system for modern algebra" Extract: Introduction Extract: The MA System Cayley Extract: Representation of Algebraic Structures
        in [ACM] (1981) Proceedings of the Fourth ACM symposium on Symbolic and algebraic computation 1981, Snowbird, Utah, United States
• Cannon: , J.J. (1981) Cannon: , J.J. "Software tools for group theory". Proceedings of a Symposium in Pure Mathematics, 37, American Mathematical Society, Providence, R.I. 1981.

1984

• Cannon J.J., (1984) Cannon J.J., "An introduction to the group theory language CAYLEY", in: M.D. Atkinson (ed), Computational Group Theory, Academic Press, London, 1984, 145-183.

1985

• Campbell and Robertson (1985) C. M. Campbell and E. F. Robertson "A Cayley File of Finite Simple Groups" Abstract
        in (1985) European Conference on Computer Algebra EUROCAL 85 LNCS 204

1989

• Butler G. and Cannon J.J., (1989) Butler G. and Cannon J.J., "Cayley version 4: The user language"
        in Gianni P. (1989) Gianni P. (ed), Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, Rome, July 4- 8, 1988, LNCS 358, Springer, New York, 1989

1990

• Butler G. and Cannon J.J., (1990) Butler G. and Cannon J.J., "The design of Cayley, a language for modern algebra" pp10-19
        in (1990) Alfonso Miola, editor, Proceedings Design and Implementation of Symbolic Computation (DISCO 90), volume 429 of Springer LNCS, pages 205-214, April 1990

1992

• Geddes et al (1992) Geddes, K.O. ; Czapor S.R. and G. Labahn, "Algorithms for Computer Algebra" Kluwer Academic Publishers, Boston, 1992 Extract: Extract from Chapter one

1994

• Bosma, Wieb; John Cannon Graham Matthews (1994) Bosma, Wieb; John Cannon Graham Matthews "Programming with algebraic structures: design of the MAGMA language" Abstract
        in [Proceedings] (1994) Proceedings of the International Conference on Symbolic and Algebraic Computation (ISSAC`94) 1994, Oxford, United Kingdom