Calcul formel : mode d'emploi. Exemples en Maple. Questo articolo non è disponibile.Calcul formel : mode d'emploi. Exemples en Maple

Les principaux systèmes de calcul formel actuellement utilisés sont généraux, c'est-à-dire qu'ils peuvent manipuler des nombres en précision arbitraire, factoriser ou développer des polynômes et fractions à nombre quelconque de variables, dériver et intégrer - lorsque c'est mathématiquement possible - des expressions construites à l'aide de fonctions élémentaires, résoudre des équations, différentielles ou non, de façon exacte, ou à défaut numérique, effectuer des développements limités à un ordre quelconque, manipuler des matrices à coefficients symboliques, tracer des graphes en deux ou trois dimensions. Véritables suppléants en matière de calcul, ces logiciels permettent d'effectuer en quelques minutes ce qui auparavant prenait un temps considérable, tout en évitant les erreurs humaines. Cet ouvrage, accessible dès le premier cycle, ne nécessite pas de culture informatique particulière. Il s'applique à tous les systèmes de calcul formel, mais les exemples sont traités ici sous MAPLE V3. Le lecteur n'est pas considéré comme un utilisateur face à une " boîte noire ". Ce livre lui permettra de comprendre différentes opérations sur les objets de base que manipule un système de calcul formel, et lui présentera aussi quelles classes de problèmes un tel système sait résoudre. L'ouvrage, divisé en deux parties, explique tout d'abord les fonctionnalités et le langage de programmation de MAPLE. La seconde partie explore les principaux champs d'application du calcul formel. La conclusion fait le lien entre calcul numérique et calcul formel à travers l'interface avec des langages de programmation comme FORTRAN ou C.

Claude GOMEZ et Bruno SALVY sont chercheurs à l'INRIA de Rocquencourt, Paul Zimmermann l'est à l'INRIA de Nancy.