Axiom (logiciel)
Axiom
| Développé par | Tim Daly et al. |
|---|---|
| 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 |
Axiom est un logiciel libre de calcul formel dont l'origine remonte à 1971.
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[1].
Principe
Voir aussi
- Logiciels libres de calcul formel
- Analyse syntaxique
- Algorithme de Risch
Notes et références
Liens externes
- (en) Site officiel
- (en) OpenAxiom
- (en) FriCAS
Portail des logiciels libres 
Portail des mathématiques