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 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 das Hauptprogramm und alle vorkompilierten Algebra- und automatisch ladbaren Module.
|
|
|
| Architektur | Version | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|---|
| alpha | 20050901-10.1 | 46 672,9 kB | 210032 kB | [Liste der Dateien] |
| amd64 | 20081101-2 | 45 023,6 kB | 192492 kB | [Liste der Dateien] |
| armel | 20050901-10.1 | 39 318,3 kB | 115700 kB | [Liste der Dateien] |
| hppa | 20050901-10.1 | 59 430,9 kB | 174680 kB | [Liste der Dateien] |
| i386 | 20081101-2 | 39 324,3 kB | 115624 kB | [Liste der Dateien] |
| ia64 | 20050901-10.1 | 50 970,6 kB | 293524 kB | [Liste der Dateien] |
| m68k (inoffizielle Portierung) | 20050901-10 | 13 661,5 kB | 54648 kB | [Liste der Dateien] |
| mips | 20050901-10.1 | 43 857,7 kB | 130308 kB | [Liste der Dateien] |
| mipsel | 20050901-10.1 | 41 908,6 kB | 130312 kB | [Liste der Dateien] |
| powerpc | 20081101-2 | 50 719,5 kB | 142316 kB | [Liste der Dateien] |
| s390 | 20081101-2 | 50 694,6 kB | 148948 kB | [Liste der Dateien] |
| sparc | 20050901-10 | 15 925,1 kB | 62612 kB | [Liste der Dateien] |