symbolic mathematics, tool A program used for heavy duty

algebraic computation in many branches of mathematics. Magma,

developed by John Cannon and associates at the University of

Sydney, succeeded Cayley. It runs at several hundred sites.