axiom は数学アルゴリズムの研究や開発に便利です。強く型付され、数学的に 正確な型階層を定義します。プログラミング言語と内蔵コンパイラを備えてい ます。
axiom は 1973 年から開発が続けられ、商用製品として販売されていました。 そしてフリーソフトウェアとしてリリースされました。
以下の事項を目指すべく、本ソフトウエアを拡張するための努力が行なわれて います:
(a) より優れたインターフェイスの開発 (b) 教育用ツールとして便利なものにする (c) 代数サーバプロトコルの開発 (d) 追加された数学分野の統合 (e) 読み書き可能なプログラミングスタイルでの代数の再構築 (f) 論理プログラミングの統合 (g) 校閲者の提案による Axiom Journal の開発
本パッケージには、グラフィックサブシステムのバイナリが含まれています。 本パッケージ内のプログラムにより、X 環境下で個別のウィンドウに図表を 描画したり、PostScript 形式のファイルに出力することができます。
|
|
|
| アーキテクチャ | パッケージサイズ | インストールサイズ | ファイル |
|---|---|---|---|
| alpha | 217.0 kB | 548 kB | [ファイル一覧] |
| amd64 (非公式の移植版) | 174.1 kB | 420 kB | [ファイル一覧] |
| arm | 168.8 kB | 392 kB | [ファイル一覧] |
| hppa | 183.3 kB | 420 kB | [ファイル一覧] |
| i386 | 152.8 kB | 400 kB | [ファイル一覧] |
| ia64 | 250.6 kB | 728 kB | [ファイル一覧] |
| m68k | 126.0 kB | 340 kB | [ファイル一覧] |
| mips | 175.3 kB | 600 kB | [ファイル一覧] |
| mipsel | 174.3 kB | 600 kB | [ファイル一覧] |
| powerpc | 207.7 kB | 500 kB | [ファイル一覧] |
| s390 | 162.1 kB | 408 kB | [ファイル一覧] |
| sparc | 153.5 kB | 380 kB | [ファイル一覧] |