Home
Linux temps réel embarqué et outils de développements Technique





axiom-source

axiom-source A general purpose computer algebra system
Priority
Sectionmath
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. .


©M.N.I.S Société | Produits | Services | Formations | Support | Partenariat | Presse | Téléchargements ©M.N.I.S