English Dictionary
◊ MAGMA
magma
n : molten rock in the earth's crust
English Computing Dictionary
◊ MAGMA
Magma
A program used for heavy duty
computation in many branches of mathematics. Magma succeeded
{Cayley}. It runs at several hundred sites.
E-mail .
{Home (http://www.maths.usyd.edu.au:8000/u/magma/)}.
[Summary? Was Magma written by John Cannon?]
(2000-09-03)