[ ソース: axiom ]
パッケージ: axiom-doc (20170501-4)
汎用計算機代数システム: ドキュメンテーション
axiom は数学アルゴリズムの研究や開発に便利です。強く型付され、数学的に 正確な型階層を定義します。プログラミング言語と内蔵コンパイラを備えてい ます。
axiom は 1973 年から開発が続けられ、商用製品として販売されていました。 そしてフリーソフトウェアとしてリリースされました。
以下の事項を目指すべく、本ソフトウエアを拡張するための努力が行なわれて います:
(a) より優れたインターフェイスの開発 (b) 教育用ツールとして便利なものにする (c) 代数サーバプロトコルの開発 (d) 追加された数学分野の統合 (e) 読み書き可能なプログラミングスタイルでの代数の再構築 (f) 論理プログラミングの統合 (g) 校閲者の提案による Axiom Journal の開発
本パッケージには、全 postscript 画像つきの dvi フォーマット Axiom 本を含 む、全てのドキュメンテーションが含まれます。