Axiom (logiciel)

Axiom est un logiciel libre de calcul formel dont l'origine remonte à 1971.

Axiom

Informations

Développé par	Tim Daly et al.
Dernière version	August 2014 (août 2014)
Dépôt	github.com/daly/axiom
Écrit en	Lisp
Système d'exploitation	Type Unix
Environnement	Multiplate-forme
Type	Système de calcul formel
Licence	Licence BSD
Documentation	www.axiom-developer.org/axiom-website/documentation.html
Site web	www.axiom-developer.org

Historique

Nommé au départ Scratchpad, son développement a commencé chez IBM sur la base d'un logiciel d'algèbre linéaire. Pendant près de 20 ans, il a eu un processus de développement lent dans le but de tester de nouvelles idées en mathématiques appliquées. En 1990, il a été vendu au Numerical Algorithms Group (NAG) et a pris le nom d'Axiom. Le NAG a ensuite décidé de le publier sous forme de logiciel libre.

La communauté s'est divisée en 2007 par les embranchements des projets OpenAxiom et FriCAS.

Voir aussi

• Logiciels libres de calcul formel
  • Maxima
  • PARI/GP
  • Xcas
  • Yacas
• Analyse syntaxique
• Algorithme de Risch

Liens externes

• (en) Site officiel
• (en) OpenAxiom
• (en) FriCAS