Bruno SALVY
Directeur de recherche INRIA
Au-delà d’une première approche et l’exécution de calculs simples, l’utilisation d’un système de calcul formel nécessite une connaissance approfondie du système et de ses limitations. En précisant les domaines des mathématiques où ce type de calcul présente un fort intérêt, cet article répond à la question de l’utilité d’un investissement dans une formation sur le calcul formel. De nombreux exemples illustrent son fonctionnement, et abordent ainsi ses calculs de base, notamment sur la dérivation, la simplification de formules et les tracés de courbes, mais aussi les calculs intégral et matriciel et la résolutions d’équations non linéaires. Pour cette présentation, c’est le système de calcul formel Maple qui a été choisi, ce système largement diffusé dispose d’une bibliothèque très riche et ouverte.