Axiom (数式処理システム)
対話的実行環境内では、型推定および発見的探索法を用いることで、多くの場合に明示的な型付けを行わなくても良いようになっている。
また 'HyperDoc' というウェブブラウザに似たヘルプ表示システムを持っており、二次元および三次元グラフィクスを表示して回転させたり明るくしたりすることができる。Emacs および TeXmacs でも Axiom モードが実装されている。
HyperDoc で領域で実行できる演算を表示させているところ
三次元プロット
Firefox 上での実行例
熱拡散方程式の簡約化
行列演算
Axiom では初等関数の積分法として リッシュのアルゴリズム が実装されている (Manuel Bronstein および Barry Trager による)。