Axiom

Axiom es un programa de álgebra computacional (CAS) muy útil para la investigación y el desarrollo de los algoritmos matemáticos, para los cuales define una sintaxis rigurosa, con niveles de jerarquías matemáticas estructurados. Es decir, los objetos matemáticos (tales como anillos, campos, polinomios) así como las estructuras de datos de la informática (como listas, árboles, tablas hash) son escritos automáticamente. Cuando una operación es aplicada a un objeto, el tipo de objeto determina el comportamiento de la operación (similar a la programación orientada a objetos).

Axiom está asociado, aunque separable, con el lenguaje de programación llamado A#.

Originalmente desarrollado por investigadores en IBM bajo el nombre de Scratchpad, Axiom ha estado en desarrollo desde 1973, aunque originalmente fue un producto comercial, ahora es de código abierto y software libre. Es publicado bajo una licencia modificada BSD.

Véase también

• Lista de programas de álgebra computacional
• Lenguaje de programación A#

Enlaces externos

• www.axiom-developer.org (Página de Axiom, en inglés)
• axiom.axiom-developer.org/axiom-website/screenshots.html (Imágenes del programa)
• page.axiom-developer.org/zope/Plone/refs/books/axiom-book2.pdf (Manual de Axiom, en inglés)