cayley
 

* 1.cayleya 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