[ ソース: axiom ]
パッケージ: axiom (20170501-4)
汎用計算機代数システム: メインバイナリおよびモジュール
axiom は数学アルゴリズムの研究や開発に便利です。強く型付され、数学的に 正確な型階層を定義します。プログラミング言語と内蔵コンパイラを備えてい ます。
axiom は 1973 年から開発が続けられ、商用製品として販売されていました。 そしてフリーソフトウェアとしてリリースされました。
以下の事項を目指すべく、本ソフトウエアを拡張するための努力が行なわれて います:
(a) より優れたインターフェイスの開発 (b) 教育用ツールとして便利なものにする (c) 代数サーバプロトコルの開発 (d) 追加された数学分野の統合 (e) 読み書き可能なプログラミングスタイルでの代数の再構築 (f) 論理プログラミングの統合 (g) 校閲者の提案による Axiom Journal の開発
本パッケージには、メインプログラムバイナリおよび全ての前もってコンパイル された代数モジュールと、自動ロード可能なモジュールが含まれます。
その他の axiom 関連パッケージ
|
|
|
|
-
- dep: axiom-databases (= 20170501-4)
- 汎用計算機代数システム: 生成されたテキストデータベース
-
- dep: libc6 (>= 2.18)
- GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
-
- dep: libgcc1 (>= 1:3.0)
- GCC 共有ライブラリ
-
- dep: libgmp10
- 多倍長精度演算ライブラリ
-
- dep: libreadline7 (>= 6.0)
- GNU readline および history ライブラリ - ランタイムライブラリ
-
- dep: libx11-6
- X11 クライアントサイドライブラリ
-
- dep: libxpm4
- X11 pixmap ライブラリ
-
- rec: axiom-doc
- 汎用計算機代数システム: ドキュメンテーション
-
- rec: axiom-graphics
- 汎用計算機代数システム: グラフィックサブシステム
-
- rec: axiom-hypertex
- 汎用計算機代数システム: hypertex サブシステム
-
- rec: axiom-source
- 汎用計算機代数システム: ソースファイル
-
- sug: axiom-test
- 汎用計算機代数システム: 回帰テスト用入力
-
- sug: axiom-tex
- 汎用計算機代数システム: TeX 用スタイルファイル
-
- sug: nowebm
- A WEB-like literate-programming tool - transitional package
-
- sug: texmacs
- パッケージは利用できません