Le Samedi 4 Décembre 2004 01:30, [EMAIL PROTECTED] 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