Magma (数式処理システム)
MagmaはCayley (1982-1993) と呼ばれる群論を扱うシステムを元に開発された。
Magmaの最初の公式リリースは1993年8月であった(バージョン 1.0)。また1996年6月にバージョン 2.0が公開され、以降おおよそ1年ごとにバージョン 2.Xが公開されている。
Magmaは代数学、数論、代数幾何学、組合せ数学の問題を解くために開発された計算機代数ソフトウェアである。Magmaという名前は代数的構造のマグマから取られている。MagmaはUnix系あるいはLinuxで実行できる。またはWindowsでも利用することができる。