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


axiom-hypertex A general purpose computer algebra system
Installed size 348
Maintainer Camm Maguire <camm@enhanced.com>
Architecture i386
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-hypertex_20050901-9_i386.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 binaries for the hypertex subsystem. The programs in this package provide an interactive online help system describing the many axiom commands.

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