Introduction au Calcul Formel: Maple & CAML

Abstract

Le calcul formel est un type de calcul qui permet de manipuler les grands nombres dans des calculs intensifs en utilisant des algorithmes optimisés dans le but de minimiser le temps de calcul. Appelé aussi calcul symbolique, pour compléter les méthodes de calcul numérique. Les logiciels de calcul formel ont beaucoup évolué au cours de ces dernières années. Ils sont destinés aux mathématiciens, aux informaticiens et aux utilisateurs qui utilisent les mathématiques comme les électroniciens, les mécaniciens, ... Ce document est destiné aux étudiants de la première année Licence tronc commun Math-Informatique. Il décrit un cours de 20 heures avec 20 heures de travaux pratiques. Les points traités dans ce cours sont indispensables pour pouvoir utiliser un logiciel de calcul formel. Les logiciels étudiés dans ce cours sont Maple et Caml.