« Introduction à Maple/Présentation » : différence entre les versions
Contenu supprimé Contenu ajouté
m Bot : Remplacement de texte automatisé (- {,2}\| ?suivant {,5}= ?\[\[([\w\s]*)\/([\w\s]*)\|([\w\s]*)\]\] + | suivant = ../\2/) |
moui, on a l'impression que Maple c'est juste du lookup dans une table de solutions alors qu'il peut construire algorithmiquement des solutions (exactes ou approchées). |
||
Ligne 11 :
== 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]]).
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
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.
Ligne 25 :
== Ce que ne peut pas faire Maple ==
Maple est, malgré tout, limité.
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 :
* les accents (é, è, ê, ë…), les symboles (&, @, ^…) et les espaces sont interdits dans les noms de variables ;
* certains noms de variables
Gardez également à l'esprit que Maple fait la différence entre majuscules et minuscules. Ainsi ''f(x)'' et ''F(x)'' ne sont pas une même fonction (cela est souvent source d'erreur !).
|