Axioma Axiom es un sistema de álgebra de computadora de propósito general.
Descargar ahora

Axioma Clasificación y resumen

Axioma Etiquetas

álgebra computacional álgebra informática matemáticas matemáticas computacionales plataforma de investigación

Axioma Descripción

Axiom es un sistema de álgebra de computadora de propósito general. Axiom es un sistema de álgebrra informático de uso general.axiom ha estado en desarrollo desde 1971. En ese momento, se llamó ScratchPad. Scrippad fue un sistema de álgebra de computadora grande y general que fue desarrollado originalmente por IBM bajo la dirección de Richard Jenks. El proyecto comenzó en 1971 y evolucionó lentamente. Barry Trager fue clave para la dirección técnica del proyecto. ScratchPad se desarrolló durante un tramo de 20 años y fue considerado básicamente como una plataforma de investigación para desarrollar nuevas ideas en las matemáticas computacionales. En la década de 1990, ya que la fortuna de IBM se deslizó, el proyecto Scratchpad fue renombrado a Axiom, vendido 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 se retiró del mercado en octubre de 2001.NAG acordó liberar a Axiom como software libre. La motivación básica fue que el axioma representa algo diferente de otros programas de muchas maneras. Principalmente debido a su fundación en matemáticas, el sistema axioma potencialmente será útil a partir de los 30 años. En su estado actual, representa unos 30 años y 300 años de trabajo de investigación. Estar esforzarse por mantener una colección tan grande de conocimiento con vida parece un objetivo que vale la pena. Los esfuerzos están en marcha para extender este software a (a) desarrollar una mejor interfaz de usuario (B) hacer que sea útil como herramienta de enseñanza (C) desarrollar un protocolo de servidor de álgebra (D) integrar matemáticas adicionales (E) reconstruir el álgebra en una programación alfabetizada Estilo (f) Integrar la programación lógica (G) Desarrollar una revista Axiom con presentaciones redescritas. Axiom es un sistema de álgebra de computadora de propósito general. Es útil para la investigación y el desarrollo de algoritmos matemáticos. Define una jerarquía de tipo Matemáticamente escrupulada, matemáticamente correcta. Tiene un lenguaje de programación y un compilador incorporado.

Axioma Software relacionado