{"id":834,"date":"2017-03-19T13:55:06","date_gmt":"2017-03-19T12:55:06","guid":{"rendered":"http:\/\/www2.mathnique.com\/site\/?page_id=834"},"modified":"2020-01-09T15:57:25","modified_gmt":"2020-01-09T14:57:25","slug":"calcul-formel","status":"publish","type":"page","link":"https:\/\/www.mathnique.com\/site\/calcul-formel\/","title":{"rendered":"Calcul formel"},"content":{"rendered":"<p>Un logiciel de calcul symbolique et formel (en anglais CAS : Computer Algebric System) permet de mener toutes sortes de calcul :<\/p>\n<p>1) <strong>Calculs exacts<\/strong> sur les nombres entiers,d\u00e9cimaux, r\u00e9els ou complexes<\/p>\n<p>2) <strong>Calculs sur les polyn\u00f4mes<\/strong>(factorisation, d\u00e9veloppement)<\/p>\n<p>3) <strong>Calculs sur les vecteurs et matrices<\/strong><\/p>\n<p><strong>Il permet \u00e9galement d'op\u00e9rer formellement sur les fonctions<\/strong> ( calcul de limites, d\u00e9rivation, int\u00e9gration,r\u00e9solution d'\u00e9quations) et de les repr\u00e9senter.<\/p>\n<p>Un tel outil peut soit servir de v\u00e9rificateur de r\u00e9sultats ( il est alors \"assistant de math\u00e9matiques \" et devrait \u00eatre mis \u00e0 la disposition des \u00e9l\u00e8ves dans la salle de classe), soit \u00eatre le calculateur ou traceur de courbes utilis\u00e9 par le professeur afin de mettre en \u00e9vidence ou d'illustrer telle ou telle notion ou m\u00e9thode de calcul.<\/p>\n<p>Les \u00e9l\u00e8ves peuvent, parce que d\u00e9gag\u00e9s des difficult\u00e9s calculatoires prises en charge par le logiciel, se consacrer \u00e0 la formulation d'hypoth\u00e8ses, \u00e0 la compr\u00e9hension et \u00e0 l'assimilation des notions pr\u00e9sent\u00e9es, \u00e0 la strat\u00e9gie de conduite des calculs.<\/p>\n<ul>\n<li style=\"list-style-type: none;\">\n<ul>\n<li><span style=\"color: #008000;\"><strong>Exemples de logiciels de calcul formel<\/strong><\/span> :\n<ul>\n<li><strong>Mathematica<\/strong> (USA) logiciel payant cr\u00e9\u00e9 en 1986 par Stephen \u00a0Wolfram est le logiciel le plus puissant et le plus utilis\u00e9 dans le monde.<br \/>\nIl tourne sous Linux, Unix, Mac OS et Windows. On en est \u00e0 la version 12.<br \/>\nC'est plus qu'un logiciel de calcul formel , c'est un logiciel de calcul scientifique et technique disposant de pr\u00e8s de $5000$ fonctions int\u00e9gr\u00e9es.<br \/>\nMathematica a acc\u00e8s au vaste <a href=\"https:\/\/www.wolfram.com\/knowledgebase\">Wolfram Knowledgebase<\/a>, incluant des donn\u00e9es instantan\u00e9es du monde r\u00e9el \u00e0 travers des milliers de domaines.<\/li>\n<li>En deuxi\u00e8me position le logiciel <strong>\u00a0payant Maple<\/strong> (Canada)\u00a0logiciel de calcul formel libre tournant sous Linux, Mac OS et Windows<strong>.<\/strong><\/li>\n<li><strong>D\u00e9rive<\/strong> (SoftWareHouse France)\u00a0logiciel de calcul formel libre tournant sous Windows<strong>.<\/strong><\/li>\n<li><strong> XCas (France) <\/strong>logiciel de calcul formel libre tournant sous Linux, Mac OS et Windows d\u00e9velopp\u00e9 par Bernard Parisse de l'Universit\u00e9 Joseph Fourier de Grenoble<strong>. <\/strong><strong><img loading=\"lazy\" decoding=\"async\" class=\" wp-image-2847 aligncenter\" src=\"http:\/\/www.mathnique.com\/site\/wp-content\/uploads\/2019\/12\/filleordi-300x220.png\" alt=\"\" width=\"160\" height=\"117\" srcset=\"https:\/\/www.mathnique.com\/site\/wp-content\/uploads\/2019\/12\/filleordi-300x220.png 300w, https:\/\/www.mathnique.com\/site\/wp-content\/uploads\/2019\/12\/filleordi.png 313w\" sizes=\"auto, (max-width: 160px) 85vw, 160px\" \/><br \/>\n<\/strong><strong><em>On peut signaler deux logiciels orient\u00e9s calcul num\u00e9rique \u00a0tr\u00e8s pratiques en programmation matricielle.<\/em><\/strong><\/li>\n<li><strong>Mathlab(USA)\u00a0<\/strong>logiciel de calcul formel libre tournant sous Linux, Mac OS et Windows.<\/li>\n<li><strong>SCILAB<\/strong> logiciel \u00a0de calcul formel libre tournant sous Linux, Mac OS et Windows<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<\/li>\n<li><span style=\"color: #ff0000;\"><span style=\"color: #ff0000;\"><strong>Quelques Conseils avant d'utiliser un logiciel de calcul formel. <\/strong><\/span><\/span><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-2811 aligncenter\" src=\"http:\/\/www.mathnique.com\/site\/wp-content\/uploads\/2019\/11\/prof.jpg\" alt=\"\" width=\"135\" height=\"128\" \/><\/strong>\n<ul>\n<li>Avoir une maturit\u00e9 suffisante en Math\u00e9matiques et donc r\u00e9fl\u00e9chir avant d'agir pour savoir d\u00e9tecter les erreurs.\n<ul>\n<li><em>Exemple 1 :<\/em><br \/>\nMaple 19 donne une r\u00e9ponse \u00e0<br \/>\n$\\int_a^b \\sqrt{(x -a)(x -b)} \\ dt$ qui n'a pas de sens car si $a &lt; b$ alors $ln(b - a)$ a un sens alors que $ln(a - b)$ n'en a pas !!!<br \/>\n<img loading=\"lazy\" decoding=\"async\" class=\"alignnone  wp-image-2895\" src=\"http:\/\/www.mathnique.com\/site\/wp-content\/uploads\/2020\/01\/maplecas1-300x144.png\" alt=\"\" width=\"544\" height=\"261\" srcset=\"https:\/\/www.mathnique.com\/site\/wp-content\/uploads\/2020\/01\/maplecas1-300x144.png 300w, https:\/\/www.mathnique.com\/site\/wp-content\/uploads\/2020\/01\/maplecas1-1024x492.png 1024w, https:\/\/www.mathnique.com\/site\/wp-content\/uploads\/2020\/01\/maplecas1-768x369.png 768w, https:\/\/www.mathnique.com\/site\/wp-content\/uploads\/2020\/01\/maplecas1-1536x738.png 1536w, https:\/\/www.mathnique.com\/site\/wp-content\/uploads\/2020\/01\/maplecas1-2048x984.png 2048w, https:\/\/www.mathnique.com\/site\/wp-content\/uploads\/2020\/01\/maplecas1-1200x577.png 1200w\" sizes=\"auto, (max-width: 544px) 85vw, 544px\" \/><\/li>\n<li><em>Exemple 2 :<\/em><br \/>\nSous Mathematica version 12, l'instruction $Sqrt[-4]$ affiche en r\u00e9ponse $2I$.<br \/>\nIdem sous Maple 19 l'instruction $sqrt(-4)$ affiche en r\u00e9ponse $2I$\u00a0Or tout nombre complexe non nul a deux racines carr\u00e9es complexes en l'occurrence: $Z = -4$ a deux racines carr\u00e9es complexes $-2i$ et $2i$<\/li>\n<\/ul>\n<\/li>\n<li>Il faut aussi savoir admettre que certains r\u00e9sultats sont inutilisables \u00e0 un niveau donn\u00e9 lorsque le logiciel utilise des fonctions sp\u00e9ciales inconnues de l'utilisateur car n\u00e9cessitant un niveau math\u00e9matique sup\u00e9rieur \u00e0 celui qu'il poss\u00e8de.<\/li>\n<\/ul>\n<\/li>\n<li><span style=\"color: #ff0000;\"><strong>TP Maple :<\/strong><\/span>\n<ul>\n<li><span style=\"color: #ff0000;\"><strong>Exemple 1 : Introduction de l'Int\u00e9gration de Riemann \u00e0 l'aide du Logiciel Maple<\/strong> <\/span>:<br \/>\n<a href=\"http:\/\/www2.mathnique.com\/site\/wp-content\/uploads\/2017\/03\/calculformelriemann.pdf\">calculformelriemann<\/a><img loading=\"lazy\" decoding=\"async\" class=\"size-medium wp-image-1368 aligncenter\" src=\"http:\/\/www2.mathnique.com\/site\/wp-content\/uploads\/2017\/03\/riemann1-300x280.png\" alt=\"\" width=\"300\" height=\"280\" srcset=\"https:\/\/www.mathnique.com\/site\/wp-content\/uploads\/2017\/03\/riemann1-300x280.png 300w, https:\/\/www.mathnique.com\/site\/wp-content\/uploads\/2017\/03\/riemann1.png 738w\" sizes=\"auto, (max-width: 300px) 85vw, 300px\" \/> <img loading=\"lazy\" decoding=\"async\" class=\"size-medium wp-image-1369 aligncenter\" src=\"http:\/\/www2.mathnique.com\/site\/wp-content\/uploads\/2017\/03\/riemann2-300x271.png\" alt=\"\" width=\"300\" height=\"271\" srcset=\"https:\/\/www.mathnique.com\/site\/wp-content\/uploads\/2017\/03\/riemann2-300x271.png 300w, https:\/\/www.mathnique.com\/site\/wp-content\/uploads\/2017\/03\/riemann2.png 764w\" sizes=\"auto, (max-width: 300px) 85vw, 300px\" \/><\/p>\n<ul>\n<li>Arithm\u00e9tique : congruences, pgcd - programmation<\/li>\n<li><\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<\/li>\n<li><\/li>\n<li><span style=\"color: #ff0000;\"><strong>TP D\u00e9rive :<\/strong><\/span>\n<ul>\n<li><span style=\"color: #ff0000;\"><strong>Exemple 2 : Expressions\u00a0litt\u00e9rales - D\u00e9veloppement - Factorisation<br \/>\n<\/strong><\/span><strong style=\"font-size: inherit;\"><span style=\"color: #ff0000;\"><i><a href=\"http:\/\/www.mathnique.com\/site\/wp-content\/uploads\/2020\/01\/casfilin1.pdf\">Document pdf \u00e0 t\u00e9l\u00e9charger : casfilin1<\/a><\/i><\/span><\/strong><\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p><strong><span style=\"color: #ff0000;\"><i>Auteur : Casimir FILIN (Coll\u00e8ge de Rivi\u00e8re-Pilote)<\/i><\/span><\/strong><\/p>\n<ul>\n<li><span style=\"color: #ff0000;\"><strong>Bibliographie :<br \/>\n<img loading=\"lazy\" decoding=\"async\" class=\" wp-image-390 aligncenter\" src=\"http:\/\/www.mathnique.com\/site\/wp-content\/uploads\/2017\/02\/livres-300x270.gif\" alt=\"\" width=\"141\" height=\"127\" \/><\/strong><\/span><\/p>\n<ul>\n<li><em>Dossier calcul formel<\/em>, Tangente n\u00b0 89 - Novembre-d\u00e9cembre 2002<\/li>\n<li><em>Faire des maths avec Mathematica<\/em>, Norbert VERDIER - Editions Ellipses 2001<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Un logiciel de calcul symbolique et formel (en anglais CAS : Computer Algebric System) permet de mener toutes sortes de calcul : 1) Calculs exacts sur les nombres entiers,d\u00e9cimaux, r\u00e9els ou complexes 2) Calculs sur les polyn\u00f4mes(factorisation, d\u00e9veloppement) 3) Calculs sur les vecteurs et matrices Il permet \u00e9galement d'op\u00e9rer formellement sur les fonctions ( calcul &hellip; <a href=\"https:\/\/www.mathnique.com\/site\/calcul-formel\/\" class=\"more-link\">Continuer la lecture<span class=\"screen-reader-text\"> de &laquo;&nbsp;Calcul formel&nbsp;&raquo;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"footnotes":""},"class_list":["post-834","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.mathnique.com\/site\/wp-json\/wp\/v2\/pages\/834","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.mathnique.com\/site\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.mathnique.com\/site\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.mathnique.com\/site\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.mathnique.com\/site\/wp-json\/wp\/v2\/comments?post=834"}],"version-history":[{"count":19,"href":"https:\/\/www.mathnique.com\/site\/wp-json\/wp\/v2\/pages\/834\/revisions"}],"predecessor-version":[{"id":2902,"href":"https:\/\/www.mathnique.com\/site\/wp-json\/wp\/v2\/pages\/834\/revisions\/2902"}],"wp:attachment":[{"href":"https:\/\/www.mathnique.com\/site\/wp-json\/wp\/v2\/media?parent=834"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}