Logiciel de calcul formel Logiciel de calcul formel Advanced mathematics software ou AMS est le principal logiciel mathématique inclus dans certaines calculatrices graphiques de Texas Instruments : TI-89, TI-89 Titanium, TI-92 Plus, TI Voyage 200. ...Wikipedia "Advanced mathematics software"
Maple est un logiciel propriétaire de calcul formel édité par la société canadienne Maplesoft. La dernière version est la version 10, disponible depuis le 10 mai 2005. ...Wikipedia "Maple"
Mathematica est un logiciel propriétaire de calcul formel édité par Wolfram Research, la société de Stephen Wolfram. ...Wikipedia "Mathematica"
Maxima est un logiciel libre de calcul formel, descendant sous licence GPL du package Macsyma, le logiciel de calcul symbolique développé à l’origine pour les besoins du Department of Energy américain. Cette descendance fut initialisée par William Schelter en 1982 et le maintient jusqu'a sa mort, en 2001. Depuis cette année, une communauté de développeurs tiennent régulièrement le programme à jour. En 1998 il réussit à appliquer la licence GPL pour libérer le code du programme et lui permettre de continuer son développement. ...Wikipedia "Maxima"
PVS est un assistant de preuve développé par le laboratoire d'informatique de SRI International, notamment par le Dr Natarajan Shankar et Sam Owre. ...Wikipedia "PVS"
This article is licensed under the GNU Free Documentation License.
It uses material from the Wikipedia . Direct links to the original articles are in the text.
If you use exact copy or modified of this article you should preserve above paragraph and put also : It uses material from
the Shortopedia article about "Logiciel de calcul formel".
| MAIN PAGE | MAIN INDEX | CONTACT US |