« Introduction à Maple/Présentation » : différence entre les versions

}}

 

 

C'est le rôle de Maple : ce logiciel de calcul formel est capable d'effectuer de lui-même un certain nombre de simplifications ou de résolutions, soit en faisant jouer les chiffres (par exemple, simplification de fractions) soit en cherchant dans une bibliothèque les réponses (par exemple, résolution d'équations différentielles simples). Pour l'ingénieur, cela est d'une grande aide puisque la partie « technique » qui est à la fois pénible et sujette à des erreurs bêtes est traitée en quelques secondes.

Nous allons donc fournir au logiciel des expressions abstraites (comme <code>x + 12 = 15</code>) et lui demander la (ou les) solutions. L'exemple ici n'est pas frappant d'intérêt mais illustre bien ce que peut faire Maple.

 

 

{{Théorème|contenu=

}}

 

 

Maple est, malgré tout, limité. Résoudre une équation différentielle absente de sa bibliothèque n'est pas dans ses capacités. Il pourra, au mieux, fournir une approximation numérique (et bien souvent, il ne pourra rien dire du tout…). Maple ne comprend pas non plus les énoncés : c'est à nous de transcrire le problème dans le langage adapté, c'est encore à nous de lire le résultat pour en tirer une réponse.

Maple ne peut pas non plus, dans certains cas, dire si un énoncé est absurde, comme cela est discuté en chapitre 9. Maple ne peut pas effectuer de démonstration (d'autres logiciels, comme Coq, le peuvent).

 

 

On ne peut pas écrire ce que l'on veut dans l'éditeur. Certains caractères sont interdits, certains noms de variables sont réservés. En particulier :