Luis Miguel Pardo (Prof. Univ. Santander, Espagne), actuellement invité DER Polytechnique dans l’équipe MAX (oct.—nov.), donnera un exposé sous forme d’un mini-cours le lundi 18 novembre en salle Grace Hopper de 14h à 16h.

Résumé: À l’occasion de la rédaction d’un texte sur l’algorithme « Kronecker » accessible à une large audience, nous avons été amenés à écrire une preuve complète de l’inégalité de Bézout de Heintz pour les variétés algébriques avec des arguments mathématiques disons élémentaires. Dans le même temps nous fournissons une extension de cette inégalité pour les ensembles constructibles, ainsi que quelques applications nouvelles à certains problèmes algorithmiques. Cet exposé présentera les grandes lignes de ces preuves élémentaires. Les applications, vers la fin de l’exposé, seront liées à quelques idées nouvelles autour des ensembles questeurs (“correct test sequences”) pour les systèmes d’équations polynomiales.