Paket: axiom-tex (20120301-3)
Links für axiom-tex
Debian-Ressourcen:
- Fehlerberichte
- Entwicklerinformationen (PTS)
- Debian-Changelog
- Copyright-Datei
- Debian Patch-Nachverfolger
Quellcode-Paket axiom herunterladen:
Betreuer:
Ähnliche Pakete:
General purpose computer algebra system: style file for TeX
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 a TeX style file useful in publishing results obtained with Axiom.
Andere Pakete mit Bezug zu axiom-tex
|
|
|
-
- dep: dpkg (>= 1.14.18)
- Debian-Paketverwaltungssystem
-
- dep: tex-common (>= 3)
- Gemeinsame Infrastruktur zum Erstellen und Installieren von TeX
-
- dep: texlive-latex-recommended
- TeX Live: empfohlene LaTeX-Pakete
axiom-tex herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| all | 130,3 kB | 210,0 kB | [Liste der Dateien] |
