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 |
|---|---|---|---|
| m68k | 13,458.9 kB | 50948 kB | [list of files] |