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
