Axiom (数式処理システム)
Axiom（アクシアム、公理を意味する英単語 axiom から）は、フリーソフトウェアの計算機代数システムである。システムには対話型実行環境、コンパイラとライブラリが含まれており、強力な型付けによる数学的な階層構造を持つ型を定義している。