Calcul Formel
cf

Cette Unité d’Enseignement s’adresse aux étudiants de STL et IMA ainsi qu’aux étudiants du parcours Maths-Info de la spécialité Maths de la Modélisation.

Après avoir introduit des concepts relevant de l’algèbre linéaire (qui est un outil standard du calcul scientifique), nous étudierons l’usage de ces algorithmes pour résoudre en pratique des systèmes polynmiaux de manière fiable (pas d’erreur d’arrondis) et efficace (l’obectif est de se donner les moyens d’obtenir des implantations performantes).

On étudiera aussi l’application de ces algorithmes pour résoudre des problèmes de géométrie (tracé certifié de courbes, problèmes de vision, modélisation en météorologie, etc.) ou de cryptologie (cryptanalyse du protocole RSA) qui se modélisent par la résolution de systèmes linéaires ou polynomiaux.