Axiom (数式処理システム)

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