Axiom je užitečný pro výzkum a vývoj matematických algoritmů. Obsahuje precizně napsanou, matematicky správnou hierarchii jednotlivých typů. Má vlastní programovací jazyk a vestavěný kompilátor.
Axiom je vyvíjen od roku 1973 a byl po určitou dobu prodáván jako komerční produkt. Nakonec byl uvolněn jako svobodný software.
V současné době se pracuje na rozšíření programu o (a) vytvoření lepšího uživatelského rozhraní (b) uplatnění programu jako výukového nástroje (c) vytvoření serverového protokolu algebry (d) přidání další matematiky (e) přestavení algebry do kultivovaného programovacího stylu (f) integraci logického programování (g) vytvoření "Axiom Journal" s řízením příspěvků.
Balíček obsahuje hlavní programové soubory, všechny předkompilované algebry a automaticky načítatelné moduly.
|
|
|
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha | 20050901-10.1 | 46,672.9 kB | 210032 kB | [list of files] |
| amd64 | 20081101-2 | 45,023.6 kB | 192492 kB | [list of files] |
| armel | 20050901-10.1 | 39,318.3 kB | 115700 kB | [list of files] |
| hppa | 20050901-10.1 | 59,430.9 kB | 174680 kB | [list of files] |
| i386 | 20081101-2 | 39,324.3 kB | 115624 kB | [list of files] |
| ia64 | 20050901-10.1 | 50,970.6 kB | 293524 kB | [list of files] |
| m68k (unofficial port) | 20050901-10 | 13,661.5 kB | 54648 kB | [list of files] |
| mips | 20050901-10.1 | 43,857.7 kB | 130308 kB | [list of files] |
| mipsel | 20050901-10.1 | 41,908.6 kB | 130312 kB | [list of files] |
| powerpc | 20081101-2 | 50,719.5 kB | 142316 kB | [list of files] |
| s390 | 20081101-2 | 50,694.6 kB | 148948 kB | [list of files] |
| sparc | 20050901-10 | 15,925.1 kB | 62612 kB | [list of files] |