MAXIMA

Maxima est un logiciel libre de calcul formel, descendant du logiciel Macsyma, développé dès 1968 au sein du projet MAC duMIT (le nom Macsyma est tiré de « Project MAC's Symbolic Manipulator »)1,2,3. Il est disponible sous Linux, Mac OS X etWindows. Maxima est distribué sous licence GNU GPL depuis 1998. Le logiciel est programmé en Lisp, tout comme les systèmes de calcul formel Reduce (en), Derive, et Axiom.

Sommaire

  [afficher] 

Historique[modifier | modifier le code]

Né à la fin des années 1960, Macsyma a servi de « terrain d'expérimentation » pour de nombreux algorithmes de calcul formel. Ainsi lorsque Robert Risch publia son algorithme d'intégration, sa première mise en œuvre fut réalisée avec Macsyma4,5. Soit dit en passant, l'algorithme de Risch développé avec Macsyma est incomplet, et n'inclut pas le cas algébrique, ce qui est précisé dans l'article de Joel Moses précédemment cité. C'est toujours le cas aujourd'hui dans Maxima, comme le montre la documentation (voir « ? risch »). On peut s'en convaincre sur l'exemple suivant, qui renvoie bien 0, alors que Maxima se montre incapable de calculer la primitive à l'aide de risch(x/sqrt(x^4+10*x^2-96*x-71),x); :