<mathematics, tool> A symbolic mathematics system for group theory written by John Cannon of the University of Sydney, Australia in 1976.
["An Introduction to the Group Theory Language CAYLEY", J. Cannon, Computational Group Theory, M.D. Atkinson ed, Academic Press 1984, pp. 148-183].
Current version: V3.7 for Sun, Apollo, VAX/VMS.
E-mail: <cayley@maths.su.oz.au>.
(12 Apr 1995)