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