Un sistema computacional de álgebra de uso general

Axiom
Gratis
Offline
http://axiom-developer.org/index.html

Axiom es útil para hacer matemáticas por computadora y para la investigación y desarrollo de algoritmos matemáticos. Axiom define una jerarquía de tipos matemáticamente correcta y fuertemente tipada. Axiom tiene un lenguaje de programación y un compilador incorporado.

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.

Axiom ha estado en desarrollo desde 1971. En ese momento, se llamaba Scratchpad. Scratchpad fue un gran sistema de álgebra computacional de propósito general que fue desarrollado originalmente por IBM bajo la dirección de Richard Jenks. El proyecto comenzó en 1971 y evolucionó lentamente. Barry Trager y James Davenport fueron clave para la dirección técnica del proyecto. Scratchpad se desarrolló durante un período de 20 años y se consideró una plataforma de investigación para desarrollar nuevas ideas en matemáticas computacionales. En la década de 1990, cuando la suerte de IBM se deslizó, el proyecto Scratchpad pasó a llamarse Axiom, se vendió al Grupo de Algoritmos Numéricos (NAG) en Inglaterra y se convirtió en un sistema comercial. Como parte del proyecto Scratchpad en IBM en Yorktown, Tim Daly trabajó en todos los aspectos del sistema y finalmente ayudó a transferir el producto a NAG. Por una variedad de razones, nunca se convirtió en un éxito financiero y NAG lo retiró del mercado en octubre de 2001.

NAG acordó lanzar Axiom como software libre. La motivación básica era que Axiom representa algo diferente de otros programas de muchas maneras. Principalmente debido a su base en matemáticas, el sistema Axiom será potencialmente útil dentro de 30 años. En su estado actual representa aproximadamente 30 años y 300 años-hombre de trabajo de investigación. Luchar por mantener viva una colección tan grande de conocimiento parece ser un objetivo que vale la pena.
Se están realizando esfuerzos para extender este software a

  • Desarrollar una mejor interfaz de usuario.
  • Que sea útil como herramienta de enseñanza.
  • Integrar matemáticas adicionales
  • Reconstruir el álgebra en un estilo de programación alfabetizado
  • Demuestre que Axiom es correcto