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,083.7 kB | 94684 kB | [list of files] |
| amd64 | 16,095.9 kB | 76720 kB | [list of files] |
| arm | 14,266.6 kB | 46752 kB | [list of files] |
| hppa | 37,243.2 kB | 146784 kB | [list of files] |
| i386 | 13,804.8 kB | 48204 kB | [list of files] |
| ia64 | 22,645.6 kB | 125176 kB | [list of files] |
| mips | 15,449.0 kB | 61876 kB | [list of files] |
| mipsel | 14,991.3 kB | 61876 kB | [list of files] |
| powerpc | 17,938.2 kB | 68008 kB | [list of files] |
| s390 | 13,750.8 kB | 47696 kB | [list of files] |
| sparc | 16,122.8 kB | 58840 kB | [list of files] |