|
Distribution |
Debian testing |
Abteilung |
math |
Quelle |
axiom |
Version |
20091101-7 |
Maintainer |
Camm Maguire <camm@debian.org>
|
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 binaries for the hypertex subsystem. The programs in this package provide an interactive online help system describing the many axiom commands.
|
Abhängig von | axiom (= 20091101-7), axiom-hypertex-data (= 20091101-7), libc6 (>= 2.7), libx11-6 (>= 0) |
Offizielle Seiten |
Paket
Entwicklerinformationen
Bugs (Binärpaket)
Bugs (Quellpaket) |
Download |
amd64 |
|
|
|