Re: Calcul Formel
Le Samedi 4 Décembre 2004 01:30, boulange@hds.utc.fr a écrit :
> L'outil "Axiom" est le systeme de calcul formel mis au point par IBM
> dans les annees 90. J'ai vérifié et il s'agit bien du meme.
Oui ; enfin, c'est un peu plus compliqué que ça. Axiom est le successeur
de Scratchpad, célèbre système de calcul formel mis au point par IBM
depuis les années 70. Il y a quelques années, IBM a vendu
Scratchpad-Axiom à une entreprise (NAG, spécialiste du calcul
numérique) qui a cherché à le commercialiser. Ça n'a pas été un grand
succès, et Axiom a été retiré du marché en 2001. Grâce au travail d'un
des anciens développeurs d'Axiom, Tim Daly, NAG a accepté de libérer le
code source d'Axiom, histoire surtout que les trente ans (!) de travail
de recherche qu'il représente ne soient pas perdus.
--
Marc Mezzarobba
Reply to: