すべてのオプション
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ ソース: axiom  ]

パッケージ: axiom-databases (20170501-13)

axiom-databases に関するリンク

Screenshot

Debian の資源:

axiom ソースパッケージをダウンロード:

メンテナ:

類似のパッケージ:

汎用計算機代数システム: 生成されたテキストデータベース

axiom は数学アルゴリズムの研究や開発に便利です。強く型付され、数学的に 正確な型階層を定義します。プログラミング言語と内蔵コンパイラを備えてい ます。

axiom は 1973 年から開発が続けられ、商用製品として販売されていました。 そしてフリーソフトウェアとしてリリースされました。

以下の事項を目指すべく、本ソフトウエアを拡張するための努力が行なわれて います:

 (a) より優れたインターフェイスの開発
 (b) 教育用ツールとして便利なものにする
 (c) 代数サーバプロトコルの開発
 (d) 追加された数学分野の統合
 (e) 読み書き可能なプログラミングスタイルでの代数の再構築
 (f) 論理プログラミングの統合
 (g) 校閲者の提案による Axiom Journal の開発

本パッケージには、階層的ドメイン構造を計算する際に使用された構築プロセス に間に生成されたテキストデータベースが含まれます。

その他の axiom-databases 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • enhances

axiom-databases のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ パッケージサイズ インストールサイズ ファイル
all 910.3 kB11,320.0 kB [ファイル一覧]