Axiom

公理は、汎用のコンピューター代数システムです。数学的アルゴリズムの研究開発に役立ちます。

公理は、汎用のコンピューター代数システムです。数学的アルゴリズムの研究開発に役立ちます。強く型付けされた、数学的に正しい型階層を定義します。プログラミング言語と組み込みコンパイラがあります。

axiom

BSD用のAxiomに代わるオープンソースライセンス