Axiom es útil para la investigación y el desarrollo de algoritmos matemáticos. Define una jerarquía de tipos fuertemente tipada y matemáticamente correcta. Incluye un lenguaje de programación e incorpora un compilador.
Axiom se lleva desarrollando desde 1973 e inicialmente se podía adquirir bajo una licencia comercial. Ahora se ha liberado como software libre.
Se están invirtiendo esfuerzos para conseguir (a) desarrollar una interfaz de usuario mejor (b) hacerlo útil como herramienta de enseñanza (c) desarrollar un protocolo de servidor de álgebra (d) integrar matemáticas adicionales (e) reconstruir el álgebra con un estilo de programación avanzado (f) integrar una lógica de programación, (g) desarrollar un diario de Axion con referencias de envíos.
Éste paquete contiene el programa principal y todos los módulos precompilados y cargables automáticamente.
|
|
|
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| alpha | 18,177.5 kB | 97960 kB | [list of files] |
| amd64 | 16,243.9 kB | 79432 kB | [list of files] |
| arm | 13,688.6 kB | 49976 kB | [list of files] |
| armel | 13,613.3 kB | 51512 kB | [list of files] |
| hppa | 37,456.0 kB | 146776 kB | [list of files] |
| i386 | 13,014.5 kB | 48884 kB | [list of files] |
| ia64 | 22,581.8 kB | 189368 kB | [list of files] |
| mips | 15,225.0 kB | 63376 kB | [list of files] |
| mipsel | 14,785.9 kB | 63376 kB | [list of files] |
| powerpc | 16,963.4 kB | 68016 kB | [list of files] |
| s390 | 13,790.3 kB | 50128 kB | [list of files] |
| sparc | 15,925.1 kB | 62612 kB | [list of files] |