8
Axiom es un sistema de álgebra computacional de uso general.Es útil para la investigación y el desarrollo de algoritmos matemáticos.Define una jerarquía de tipos matemáticamente correcta y fuertemente tipada.Tiene un lenguaje de programación y un compilador incorporado.
Sitio web:
http://www.axiom-developer.org/Categorias
