Méthodes effectives en géométrie algébrique réelle.



B. Mourrain

La résolution d'équations polynomiales apparait dans de nombreux domaines comme le traitement du signal, la robotique, la modélisation géométrique …

Ce cours est une introduction aux outils algébriques et algorithmiques permettant de résoudre ou d'analyser des problèmes géométriques rencontrés dans ces domaines.

Nous nous intéresserons, en particulier, au calcul de forme normale dans une algèbre quotient, de bases de Grobner ou de bord, aux algèbres artiniennes, à la dualité.

Cette étude algébrique fournira les ingrédients des algorithmes de résolution d'équations polynomiales. Des applications à la représentation parcimonieuse de signaux à partir de moments, à la décomposition de tenseurs, à l'optimisation polynomiale illustreront l'utilisation ces outils algébriques en pratique.

Références

Séances