Axiom (logiciel)

Page d’aide sur l’homonymie

Pour les articles homonymes, voir Axiom.

Axiom
Description de l'image AxiomGraphics.png.
Informations
Développé par Tim Daly et al.
Dépôt github.com/daly/axiomVoir et modifier les données sur Wikidata
Écrit en LispVoir et modifier les données sur Wikidata
Système d'exploitation Type UnixVoir et modifier les données sur Wikidata
Environnement Multiplate-forme
Type Système de calcul formelVoir et modifier les données sur Wikidata
Licence Licence BSDVoir et modifier les données sur Wikidata
Documentation www.axiom-developer.org/axiom-website/documentation.htmlVoir et modifier les données sur Wikidata
Site web www.axiom-developer.orgVoir et modifier les données sur Wikidata

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.

Principe

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?

Voir aussi

Notes et références

  1. ↑ Bill Page, « forks », sur sci.math.symbolic, (consulté le )

Liens externes