Magma (数式処理システム)
群論
置換群、行列群、有限表示を持つ群、可解群、アーベル群(有限および無限)、多重巡回群 (en)、組み紐群、straight-line プログラム群 (en)。群論のデータベースもいくつか用意している。
数論
整数および多項式に対する基礎的な演算に対するランダウの記号(たとえば整数と多項式の積を高速に求めるSchönhage-Strassenアルゴリズム (en)、楕円曲線法 (en) を含む素因数分解、二次ふるい法、一般数体ふるい法が実装されている。
代数的数論
KANT と呼ばれる数式処理システムが内蔵されており、これにより幅広い代数体の計算ができるようになっている。また体の代数的閉包の計算も行える。
モジュラー形式と線形代数
Strassenのアルゴリズムなどの、密行列のランダウの記号による高速な基本演算を実装している。
疎行列