|
|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
|
axiom-databases
| axiom-databases | A general purpose computer algebra system | | Priority | |
| Section | math |
| Installed size | 6480 |
| Maintainer | Camm Maguire <camm@enhanced.com> |
| Architecture | all |
| Version | 20050901-9 |
| Depends | axiom-databases (= 20050901-9) |
| Suggests | texmacs, axiom-tex, axiom-test, nowebm |
| File name | pool/main/a/axiom/axiom-databases_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 the text databases generated during the build process used in computing the hierarchical domain structure, among other uses. |
|
|
|
Etude RTOS