Logiciel de calcul formel

Logiciel de calcul formel

Système de calcul formel

Un système de calcul formel (computer algebra system ou CAS en anglais) est un logiciel qui facilite le calcul symbolique. La partie principale de ce système est la manipulation des expressions mathématiques sous leur forme symbolique.

Sommaire

Types d'expressions

Les expressions peuvent être :

  • des polynômes avec de multiples variables ;
  • des fonctions standards (sinus, exponentielle, etc.) ;
  • des fonctions spéciales (Gamma, Zeta, erf, Bessel, etc.) ;
  • des fonctions composées de diverses expressions ;
  • des dérivées, des intégrales, des sommes et des produits d'expressions ;
  • des séries tronquées avec des expressions comme coefficients ;
  • des matrices d'expressions ;
  • etc.

Manipulations symboliques

Les manipulations symboliques sont typiquement :

  • simplification, qu'elle soit automatique ou effectuée à partir d'hypothèses ;
  • substitution de symboles ou de valeurs numériques par des expressions ;
  • changement de forme des expressions : expansion, de produits et de puissances, re-écriture de fractions partielles, re-écriture de fonctions trigonométriques comme exponentielles, etc. ;
  • différentiation relative à une ou plusieurs variables ;
  • optimisation globale, qu'elle soit conditionnelle ou non ;
  • factorisation partielle ou complète ;
  • solution d'équations linéaires et de quelques équations non-linéaires dans différents domaines ;
  • solution de quelques équations différentielles et d'équation aux différences ;
  • calcul de limites de certaines fonctions ;
  • quelques intégrales définies et indéfinies, incluant des intégrales à plusieurs variables ;
  • transformées (Laplace, Fourier, etc.) ;
  • expansion en série de Taylor, de Laurent et de Puiseux ;
  • quelques expansions de séries infinies ;
  • quelques sommes de série ;
  • opérations sur les matrices incluant le produit et l'inversion, etc. ;
  • affichage d'expressions mathématiques, souvent à l'aide de système semblables à TeX.

Autres fonctionnalités

De plus, ces systèmes incluent des opérations numériques :

  • évaluation en fonction de valeurs numériques précises
  • evaluation en multi-précision. Par exemple, donner la valeur numérique de 21/3 avec 10 000 chiffres
  • calculs numériques d'expressions d'algèbre linéaire
  • tracé de graphes en 2D et 3D

Plusieurs offrent également un langage de programmation haut niveau, ce qui permet aux utilisateurs de personnaliser ou d'augmenter les fonctionnalités déjà présentes.

Le temps d'exécution lors d'évaluation numérique est habituellement plus long que les programmes équivalents implantés en MATLAB, Octave ou en langage C. C'est normal, puisque ces systèmes considèrent la représentation symbolique presque tout le temps, ce qui ne leur permet pas de profiter au mieux des bibliothèques numériques des CPU.

Historique

Martin Veltman est le pionnier dans ce domaine, lui qui a conçu les premières applications en physique des hautes énergies. Son premier programme, conçu en 1963, s'appelait Schoonship (« vaisseau propre » en néerlandais).

Ces systèmes sont devenus populaires au début des années 1970 et ont mené la création de l'IA. En 2006, ils sont vus comme des champs d'étude distincts.

Les premiers systèmes à devenir populaires sont Reduce, Derive et Macsyma, qui sont encore disponibles. Une version gratuite de Macsyma sous licence GNU appelée Maxima est encore maintenue.

Les meneurs dans ce marché sont Maple et Mathematica. Les deux sont couramment utilisés par les mathématiciens, les scientifiques et les ingénieurs. MuPAD et Mathcad sont aussi disponibles.

Le fonctionnement du logiciel libre Giac / Xcas est proche de celui des calculatrices formelles Texas-Instruments. Le système de calcul formel Axiom initialement développé par IBM a cessé d'être commercialisé en 2001 et est devenu un logiciel libre depuis 2002. Les projets FriCAS et OpenAxiom commencés en 2007 sont directement issus du programme Axiom initial.

D'autres systèmes sont plus spécialisés et se limitent à quelques domaines d'application. Ils sont habituellement conçus, développés et maintenus dans un milieu académique.

Quelques logiciels de calcul formel

Mathématiques utilisées

Source

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Syst%C3%A8me de calcul formel ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Logiciel de calcul formel de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Logiciel De Calcul Formel — Système de calcul formel Un système de calcul formel (computer algebra system ou CAS en anglais) est un logiciel qui facilite le calcul symbolique. La partie principale de ce système est la manipulation des expressions mathématiques sous leur… …   Wikipédia en Français

  • SAGE (Logiciel de calcul formel) — SAGE Exemple d utilisatio …   Wikipédia en Français

  • SAGE (logiciel de calcul formel) — SAGE Exemple d utilisatio …   Wikipédia en Français

  • Sage (logiciel de calcul formel) — Sage Exemple d utilisation de Sage …   Wikipédia en Français

  • Système de calcul formel — Un système de calcul formel (computer algebra system ou CAS en anglais) est un logiciel qui facilite le calcul symbolique. La partie principale de ce système est la manipulation des expressions mathématiques sous leur forme symbolique. Sommaire 1 …   Wikipédia en Français

  • Magma (calcul formel) — Pour les articles homonymes, voir Magma. Magma (calcul formel) …   Wikipédia en Français

  • Formel — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Formel », sur le Wiktionnaire (dictionnaire universel) Langage formel Calcul formel Système formel… …   Wikipédia en Français

  • Axiom (logiciel) — Axiom Développeur Tim Daly et al. Dernière version 23 no …   Wikipédia en Français

  • Atelier de génie logiciel — Pour les articles homonymes, voir AGL. On désigne par atelier de génie logiciel (AGL) un ensemble de programmes informatiques permettant eux mêmes de produire des programmes de manière industrielle. On parle aussi d outils CASE pour Computer… …   Wikipédia en Français

  • Paramètre formel — Paramètre Pour les articles homonymes, voir Paramètre (homonymie) …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”