Axiom

Sitio web

  • Libre
  • Mac
  • Linux
Description

Axiom es un sistema de álgebra computacional de propósito general. Es útil para la investigación y 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.

Categorías
Aplicaciones de educación y referencia

Alternativas