Axiom (logiciel)

Un article de Wikipédia, l'encyclopédie libre.
Ceci est une version archivée de cette page, en date du 1 mai 2020 à 22:48 et modifiée en dernier par Piku (discuter | contributions). Elle peut contenir des erreurs, des inexactitudes ou des contenus vandalisés non présents dans la version actuelle.
Axiom

Description de l'image AxiomGraphics.png.
Informations
Développé par Tim Daly et al.
Dernière version August 2014 ()[1]Voir et modifier les données sur Wikidata
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[2].

Principe

Voir aussi

Notes et références

  1. « http://www.axiom-developer.org/axiom-website/releasenotes.html »
  2. Bill Page, « forks », sur sci.math.symbolic, (consulté le )

Liens externes