Skip to content
Sections
>> Trisquel >> パッケージ >> etiona >> math >> axiom-hypertex-data
etiona  ] [  nabia  ] [  aramo  ]
[ ソース: axiom  ]

パッケージ: axiom-hypertex-data (20170501-3)

General purpose computer algebra system: hypertex subsystem

Axiom is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler.

Axiom has been in development since 1973 and was sold as a commercial product. It has been released as free software.

Efforts are underway to extend this software to (a) develop a better user interface (b) make it useful as a teaching tool (c) develop an algebra server protocol (d) integrate additional mathematics (e) rebuild the algebra in a literate programming style (f) integrate logic programming (g) develop an Axiom Journal with refereed submissions.

This package contains required data files for the axiom hypertex subsystem.

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

  • 依存
  • 推奨
  • 提案
  • dep: tex-common (>= 6)
    common infrastructure for building and installing TeX

axiom-hypertex-data のダウンロード

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