Calcul formel

18h C dont contrôle / 2 crédits ECTS

Jean-Claude Vivalda (Metz)

Les systèmes de calcul formel facilitent grandement les calculs symboliques qu'un ingénieur est amené à faire, tout en évitant les erreurs humaines. En particulier, ces systèmes peuvent manipuler des nombres en précision arbitraire, factoriser ou développer des polynômes et fractions à une ou plusieurs variables, dériver et intégrer, quand cela est possible, des expressions construites à partir de fonctions élémentaires, résoudre des systèmes d'équations algébriques ou différentielles, réaliser toutes sortes d'opérations d'algèbre linéaire sur des matrices à coefficients symboliques et ceci de façon exacte ou numériquement. Pour utiliser au mieux ces systèmes il est très utile de comprendre comment ils fonctionnent, quelles sont les classes de problèmes qu'ils savent résoudre et comment ils y arrivent. Ces points seront développés à travers l'utilisation du logiciel Mathematica.