Magma (数式処理システム)

Magmaは代数学、数論、代数幾何学、組合せ数学の問題を解くために開発された計算機代数ソフトウェアである。 Magmaという名前は代数的構造のマグマから取られている。