CAYLEY (symbolic mathematics, tool) A symbolic mathematics system for group theory written by John Cannon of the University of Sydney, Australia in 1976.
Cayley was used at about 100 sites but has been superseded by a much more general system, Magma. ["An Introduction to the Group Theory Language CAYLEY", J. Cannon, Computational Group Theory, M.D. Atkinson ed, Academic Press 1984, pp. 148-183]. Latest version: V3.7, for Sun, Apollo, VAX/VMS. Last updated: 2000-09-03