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





axiom-doc

axiom-doc A general purpose computer algebra system
Priority
Sectionmath
Installed size 11852
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-doc_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 all documentation, including the Axiom book in dvi format with all postscript images.


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