Modélisation et algorithmes numériques et symboliques (4I901).

Équipe pédagogique

J. Berthomieu, S. Graillat, M. Safey El Din.

Description générale

Les algorithmes de calcul ont une place centrale dans de nombreux domaines de l'informatique (cryptologie, intelligence artificielle, vision, etc.) et des sciences de l'ingénieur. Il convient alors de concilier fiabilité et efficacité du calcul.
Dans cette UE, nous étudierons deux modèles de représentations des nombres (exact/multi-précision et approché/flottant) et développeront des algorithmes symboliques et numériques basés sur ces modèles.
Nous nous attacherons à évaluer la qualité des algorithmes du point de vue de la fiabilité (précision dans le cas d'algorithmes numériques) que de l'efficacité (analyses de complexité). Les travaux sur machines permettront de mettre en oeuvre ces algorithmes dans le cadre de systàmes de calcul (formel ou numérique) sur des probl&agrav;emes concrets.

Semainier indicatif