|
Distribution |
Debian stable |
Abteilung |
math |
Quelle |
axiom |
Version |
20050901-10 |
Maintainer |
Camm Maguire <camm@enhanced.com>
|
Beschreibung |
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 the main program binary and all precompiled algebra and autoloadable modules.
|
Abhängig von | axiom-databases (= 20050901-10), libc6 (>= 2.7-1), libgmp3c2, libice6 (>= 1:1.0.0), libncurses5 (>= 5.6+20071006-3), libreadline5 (>= 5.2), libsm6, libx11-6, libxaw7, libxext6, libxmu6, libxt6 | Recommends | axiom-doc, axiom-graphics, axiom-hypertex, axiom-source | Vorgeschlagen | axiom-test, axiom-tex, nowebm, texmacs |
Offizielle Seiten |
Paket
Entwicklerinformationen
Bugs (Binärpaket)
Bugs (Quellpaket) |
Download |
amd64 |
|
|
|