DEBFIND Suche nach Debian-Paketen

Suchplatform für Softwarepakete und Archive Debian-basierter Linux-Distributionen

beta ! Diese website wird noch weiterentwickelt.

Liste aller Kategorien/Sektionen | Suchmaske | Haftungsausschluß

Paketbeschreibung


Paketnameaxiom-databases
BeschreibungA general purpose computer algebra system: generated text databases
Archiv/RepositoryOffizielles Ubuntu Archiv lucid (universe)
Version20091101-7
Sektionuniverse/math
Prioritätoptional
Installierte Größe7548 Byte
Hängt ab von
Empfohlene Pakete
PaketbetreuerUbuntu Developers
Quelleaxiom
Paketgröße1158044 Byte
Prüfsumme MD58e387cadcee2595c0453de628caa2b3b
Prüfsumme SHA132fbb97e13e1300c86e387d0d2b6ae5d7b85c539
Prüfsumme SHA256afa7dfbb192f3605b4cd9bce46c282728e6461ddf67eca2e2ed8200349b84b6f
Link zum Herunterladenaxiom-databases_20091101-7_all.deb
Ausführliche BeschreibungAxiom 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.


Impressum
Linux is a registered trademark of Linus Torvalds