|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
axiom-source
axiom-source | A general purpose computer algebra system | Priority | |
Section | math |
Installed size | 6684 |
Maintainer | Camm Maguire <camm@enhanced.com> |
Architecture | all |
Version | 20050901-9 |
Depends | axiom (= 20050901-9), axiom-hypertex-data (= 20050901-9) |
Suggests | texmacs, axiom-tex, axiom-test, nowebm |
File name | pool/main/a/axiom/axiom-source_20050901-9_all.deb |
Description | 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 source files in Axiom's native spad language for the compiled algebra modules supplied in the axiom package. . |
|
|