Quellcode-Paket axiom herunterladen:
Axiom ist für die Erforschung und Entwicklung von mathematischen Algorithmen nützlich. Es definiert eine stark typisierte, mathematisch korrekte Typenhierarchie. Es enthält 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 die Binärdateien für das Hypertex-Untersystem. Das Programm in diesem Paket enthält ein interaktives Onlinehilfesystem, das die vielen axiom-Befehle erklärt.
|
|
|
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| alpha | 163,7 kB | 420 kB | [Liste der Dateien] |
| amd64 | 141,9 kB | 328 kB | [Liste der Dateien] |
| arm | 130,4 kB | 296 kB | [Liste der Dateien] |
| hppa | 146,1 kB | 336 kB | [Liste der Dateien] |
| i386 | 143,3 kB | 348 kB | [Liste der Dateien] |
| ia64 | 211,7 kB | 632 kB | [Liste der Dateien] |
| mips | 152,2 kB | 424 kB | [Liste der Dateien] |
| mipsel | 152,2 kB | 424 kB | [Liste der Dateien] |
| powerpc | 136,7 kB | 336 kB | [Liste der Dateien] |
| s390 | 140,9 kB | 332 kB | [Liste der Dateien] |
| sparc | 125,5 kB | 304 kB | [Liste der Dateien] |