| Réf : A144 v1

Autres domaines
Calcul formel

Auteur(s) : Claude GOMEZ

Date de publication : 10 août 1995

Pour explorer cet article
Télécharger l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !

Sommaire

Présentation

Auteur(s)

  • Claude GOMEZ : Ancien Élève de l’École Centrale de Paris - Docteur Ingénieur - Directeur de Recherche à l’Institut National de Recherche en Informatique et Automatique (INRIA)

Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.

Lire l’article

INTRODUCTION

Le calcul formel est de plus en plus connu dans le monde des scientifiques et en particulier dans celui des ingénieurs. Cela est dû en partie à la « démocratisation » de son utilisation. En effet, il y a quelques années, seule une grosse configuration d’ordinateur permettait de faire fonctionner correctement les systèmes de calcul formel existants. De nos jours, ces systèmes fonctionnent raisonnablement sur des micro-ordinateurs à faible coût (PC, Macintosh). Ensuite, sous l’impulsion du système de calcul formel Mathematica, une grande publicité a été faite pour ces systèmes, les faisant ainsi connaître du grand public scientifique. Aujourd’hui, presque tout utilisateur d’un ordinateur peut se procurer, à un prix raisonnable, un système de calcul formel.

Lorsque l’on vient d’acquérir un tel système, il est très facile, dans un premier temps, de réaliser des calculs simples, du style « calculatrice formelle », mais ensuite on veut généralement aller plus loin et, là, une certaine connaissance du système et de ses limitations est indispensable pour éviter le découragement de l’utilisateur. Du temps de formation est donc nécessaire pour une utilisation optimale d’un système de calcul formel.

Alors, une autre question apparaît : « le calcul formel est-il utile pour moi ? » ; autrement dit, « est-il rentable pour moi de passer du temps à apprendre à utiliser un tel système ? ». Le but de ce chapitre est de répondre à cette question. Pour cela, nous allons passer en revue les principaux domaines des mathématiques dans lesquels le calcul formel peut résoudre des problèmes. Ces domaines sont ceux où l’ingénieur a généralement à travailler : les calculs sur les nombres et les fractions rationnelles, la dérivation, la simplification de formules et les tracés de courbes qui sont la base de tout système de calcul formel, les calculs intégral et matriciel, la résolution d’équations couramment utilisées par les ingénieurs et, enfin, le calcul numérique. Ce dernier est en général la fin du travail de l’ingénieur et le calcul formel s’avère considérablement utile dans ce domaine ; nous insistons particulièrement sur ce point. Pour chaque partie, nous montrons ce que sait faire le calcul formel, comment il le fait et quelles sont ses limitations.

Un grand nombre d’exemples émaillent le chapitre, afin de montrer le fonctionnement du calcul formel à travers un système. Nous avons choisi le système de calcul formel Maple (version V.3) pour cela, car c’est un système très largement diffusé (avec Mathematica), qu’il dispose d’une bibliothèque suffisamment riche et ouverte (le programme source de la plupart des fonctions est accessible) et qu’il est aisément extensible.

Le but de ce chapitre n’est pas la description du système de calcul formel Maple. Nous n’expliquerons pas de façon détaillée la syntaxe et le fonctionnement de ce système. Mais les exemples ont été choisis pour qu’ils soient compréhensibles par le lecteur ; des explications sont données chaque fois que cela est nécessaire.

Fonctionnement d’un système de calcul formel comme Maple. L’utilisateur entre une commande, terminée par un point virgule « ; » dans une syntaxe très naturelle, et Maple affiche la réponse en format haute résolution qui ressemble à la typographie mathématique. Si l’on remplace le point virgule par deux points « : », la réponse n’est pas affichée. Par ailleurs, Maple utilise le principe des packages, c’est-à-dire qu’un grand nombre de commandes sont classées par groupes de même fonctionnalité. Dans ce cas, l’appel de la commande s’écrit <nom du package> [<nom de la commande>], comme linalg[det].

Cet article est réservé aux abonnés.
Il vous reste 95% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

DOI (Digital Object Identifier)

https://doi.org/10.51257/a-v1-a144


Cet article fait partie de l’offre

Mathématiques

(202 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques

Des services

Un ensemble d'outils exclusifs en complément des ressources

Un Parcours Pratique

Opérationnel et didactique, pour garantir l'acquisition des compétences transverses

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS

Lecture en cours
Présentation

6. Autres domaines

Il est bien clair que nous n’avons pas passé en revue dans ce chapitre tous les domaines que le calcul formel peut aborder, mais nous avons décrit les principaux. On peut citer encore les domaines suivants.

En arithmétique et en analyse combinatoire le calcul formel excelle grâce à sa manipulation de vrais nombres entiers ; il est possible de résoudre des équations entières et des problèmes de dénombrement.

L’étude des suites réelles permet de résoudre des problèmes de récurrence (calcul des valeurs d’une suite) et de calculer les limites d’une suite. En particulier, le calcul formel donne les moyens de faire des calculs de sommes (Σ) et de produits (Π).

Les séries sont un outil puissant pour les problèmes qui n’admettent pas de solution exacte : on peut en effet calculer le développement en série de suites, d’intégrales ou de solutions d’équations (ordinaires ou différentielles). On peut aussi calculer le comportement asymptotique de ces mêmes objets mathématiques à l’aide des développements asymptotiques. Le calcul formel fournit des outils pour cela, mais il faut bien vérifier la justesse de la solution par la justification des opérations formelles que le système peut réaliser.

Les outils du calcul formel comme le calcul intégral ou les séries génératrices peuvent parfois être appliqués avec succès au domaine des probabilités et des statistiques ; l’algèbre linéaire aussi peut être utilisée.

Enfin, il faut citer l’utilisation du calcul formel pour des domaines particuliers à certaines branches de la physique comme le calcul tensoriel, la relativité, etc.

HAUT DE PAGE

Cet article est réservé aux abonnés.
Il vous reste 95% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

Cet article fait partie de l’offre

Mathématiques

(202 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques

Des services

Un ensemble d'outils exclusifs en complément des ressources

Un Parcours Pratique

Opérationnel et didactique, pour garantir l'acquisition des compétences transverses

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS

Lecture en cours
Autres domaines
Sommaire
Sommaire

Cet article est réservé aux abonnés.
Il vous reste 93% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

Cet article fait partie de l’offre

Mathématiques

(202 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques

Des services

Un ensemble d'outils exclusifs en complément des ressources

Un Parcours Pratique

Opérationnel et didactique, pour garantir l'acquisition des compétences transverses

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS