[ ソース: axiom ]
パッケージ: axiom (20210105dp1-1 など)
汎用計算機代数システム: メインバイナリおよびモジュール
axiom は数学アルゴリズムの研究や開発に便利です。強く型付され、数学的に 正確な型階層を定義します。プログラミング言語と内蔵コンパイラを備えてい ます。
axiom は 1973 年から開発が続けられ、商用製品として販売されていました。 そしてフリーソフトウェアとしてリリースされました。
以下の事項を目指すべく、本ソフトウエアを拡張するための努力が行なわれて います:
(a) より優れたインターフェイスの開発 (b) 教育用ツールとして便利なものにする (c) 代数サーバプロトコルの開発 (d) 追加された数学分野の統合 (e) 読み書き可能なプログラミングスタイルでの代数の再構築 (f) 論理プログラミングの統合 (g) 校閲者の提案による Axiom Journal の開発
本パッケージには、メインプログラムバイナリおよび全ての前もってコンパイル された代数モジュールと、自動ロード可能なモジュールが含まれます。
その他の axiom 関連パッケージ
|
|
|
|
-
- dep: axiom-databases (= 20170501-14) [hppa]
- 汎用計算機代数システム: 生成されたテキストデータベース
- dep: axiom-databases (= 20210105dp1-1) [hppa 以外]
-
- dep: libc6 (>= 2.38) [alpha, loong64, sh4 以外]
- GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
- dep: libc6 (>= 2.41) [loong64, sh4]
-
- dep: libc6.1 (>= 2.38) [alpha]
- GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6.1-udeb
-
- dep: libedit2 (>= 2.11-20080614-0)
- BSD 行編集および履歴機能ライブラリ
-
- dep: libgcc-s1 (>= 4.0) [arm64]
- GCC 共有ライブラリ
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- GCC 共有ライブラリ
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- 多倍長精度演算ライブラリ
-
- dep: libtirpc3t64 (>= 1.0.2)
- トランスポート非依存な RPC ライブラリ
-
- dep: libx11-6
- X11 クライアントサイドライブラリ
-
- rec: axiom-doc
- 汎用計算機代数システム: ドキュメンテーション
-
- rec: axiom-graphics
- 汎用計算機代数システム: グラフィックサブシステム
-
- rec: axiom-hypertex
- 汎用計算機代数システム: hypertex サブシステム
-
- rec: axiom-source
- 汎用計算機代数システム: ソースファイル
-
- sug: axiom-test
- 汎用計算機代数システム: 回帰テスト用入力
-
- sug: axiom-tex
- 汎用計算機代数システム: TeX 用スタイルファイル
-
- sug: nowebm
- パッケージは利用できません
-
- sug: texmacs
- WYSIWYG scientific text editor using TeX fonts
axiom のダウンロード
アーキテクチャ | バージョン | パッケージサイズ | インストールサイズ | ファイル |
---|---|---|---|---|
alpha (非公式の移植版) | 20210105dp1-1 | 62,709.3 kB | 1,120,306.0 kB | [ファイル一覧] |
amd64 | 20210105dp1-1 | 64,488.2 kB | 1,125,434.0 kB | [ファイル一覧] |
arm64 | 20210105dp1-1 | 63,747.1 kB | 1,121,615.0 kB | [ファイル一覧] |
armel | 20210105dp1-1 | 54,786.8 kB | 672,372.0 kB | [ファイル一覧] |
armhf | 20210105dp1-1 | 55,529.5 kB | 663,862.0 kB | [ファイル一覧] |
hppa (非公式の移植版) | 20170501-14 | 47,660.6 kB | 267,773.0 kB | [ファイル一覧] |
i386 | 20210105dp1-1 | 56,358.4 kB | 673,402.0 kB | [ファイル一覧] |
loong64 (非公式の移植版) | 20210105dp1-1 | 77,041.5 kB | 1,295,140.0 kB | [ファイル一覧] |
m68k (非公式の移植版) | 20210105dp1-1 | 54,467.7 kB | 663,042.0 kB | [ファイル一覧] |
mips64el | 20210105dp1-1 | 64,778.1 kB | 1,136,984.0 kB | [ファイル一覧] |
ppc64 (非公式の移植版) | 20210105dp1-1 | 63,056.4 kB | 1,146,662.0 kB | [ファイル一覧] |
ppc64el | 20210105dp1-1 | 63,031.2 kB | 1,151,473.0 kB | [ファイル一覧] |
riscv64 | 20210105dp1-1 | 121,891.7 kB | 2,125,337.0 kB | [ファイル一覧] |
s390x | 20210105dp1-1 | 64,532.4 kB | 1,116,346.0 kB | [ファイル一覧] |
sh4 (非公式の移植版) | 20210105dp1-1 | 52,138.8 kB | 530,694.0 kB | [ファイル一覧] |
sparc64 (非公式の移植版) | 20210105dp1-1 | 79,358.5 kB | 1,341,448.0 kB | [ファイル一覧] |
x32 (非公式の移植版) | 20210105dp1-1 | 60,271.0 kB | 700,711.0 kB | [ファイル一覧] |