Seccion curso 1
Perfilado de sección
-
AXIOM
Axiom es un sistema de algebra computacional que se distribuye bajo una licencia tipo BSD. Se lleva desarrollando desde principios de los setenta y antes de liberarse como software libre fue un software comercial. Está disponible para LINUX y WINDOWS.
Con una jerarquía de tipos matemáticamente correcta. Axiom se destaca también por poseer una documentación sumamenta completa (utiliza la filosofía de Literate Programming).
Nota: Recientemente el proyecto Axiom tuvo dos forks OpenAxiom y Fricas
AXIOM se puede descargar desde: http://axiom-developer.org/axiom-website/download.html