Paket: axiom-hypertex-data (20170501-13)
Links für axiom-hypertex-data
Debian-Ressourcen:
Quellcode-Paket axiom herunterladen:
Betreuer:
Ähnliche Pakete:
Allzweck-Computeralgebrasystem: Hypertex-Teilsystem
Axiom ist für die Erforschung und Entwicklung von mathematischen Algorithmen nützlich. Es definiert eine stark typisierte, mathematisch korrekte Typenhierarchie. Es hat eine Programmiersprache und einen eingebauten Compiler.
Axiom wird seit 1973 entwickelt und wurde als kommerzielles Produkt verkauft. Es wurde als Freie Software veröffentlicht.
Es laufen Bemühungen, um die Software zu erweitern:
(a) Entwicklung einer besseren Nutzerschnittstelle (b) Nutzbarmachung als Lehrwerkzeug (c) Entwicklung eines Algebra-Serverprotokolls (d) Integration weiterer Mathematik (e) Neuaufbau der Algebra im »literate programming«-Stil (f) Integration logischer Programmierung (g) Entwicklung eines Axiom-Journals mit begutachteten Einreichungen.
Dieses Paket enthält für Axioms Hypertex-Teilsystem benötigte Datendateien.
Andere Pakete mit Bezug zu axiom-hypertex-data
|
|
|
|
-
- dep: tex-common (>= 6.13)
- Gemeinsame Infrastruktur zum Erstellen und Installieren von TeX
axiom-hypertex-data herunterladen
Architektur | Paketgröße | Größe (installiert) | Dateien |
---|---|---|---|
all | 42.735,2 kB | 250.963,0 kB | [Liste der Dateien] |