« Introduction à Maple/Présentation » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (- n'est pas + n’est pas , - Aujourd'hui + Aujourd’hui , - d'euros + d’euros , - d'agir + d’agir , - l'apparence + l’apparence ) |
m Robot : Remplacement de texte automatisé (-\n(==={0,3})(?: *)([^\n=]+)(?: *)\1(?: *)\n +\n\1 \2 \1\n) |
||
Ligne 7 :
}}
== Introduction ==
En mathématiques, beaucoup de problèmes — une fois transcrits sous forme d'équations — se résolvent par une ''méthode'' simple et/ou répétitive (exemples : intégration par parties, pivot de Gauss, variation de la « constante », méthode de Cramer, réduction au même dénominateur…). Fort heureusement, il est tout à fait possible d'automatiser de telles opérations (c'est ce qu'on appelle un [[w:algorithme|algorithme]]).
Ligne 14 :
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.
== Ce que peut faire Maple ==
{{Théorème
Ligne 21 :
}}
== Ce que ne peut pas faire Maple ==
Maple est, malgré tout, limité. Il peut ne pas réussir à résoudre une équation différentielle. 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.
Ligne 27 :
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 [[w:Coq (logiciel)|Coq]], le peuvent).
== Caractères autorisés, mots réservés ==
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 par le système. En particulier :
| |||