Conférence virtuelle de AWMA n°3

Conférence virtuelle de AWMA n°3

La conférencière, Marie-Françoise Roy est une mathématicienne française connue pour ses travaux en géométrie algébrique réelle. Elle est professeur de mathématiques à l'Université Rennes 1 depuis 1985 et a été nommée en 2009 Chevalier de la Légion d'honneur. Roy a été présidente de la Société Mathématique de France de 2004 à 2007. En 1986, Roy a été l'une des fondatrices d'European Women in Mathematics (EWM) et a été convenor de EWM de 2009 à 2013. En 1987, elle a cofondé l'association française pour les femmes en mathématiques, Femmes et Mathématiques, et en est devenue la première présidente. Marie-Françoise Roy est présidente du Comité de l'IMU pour les femmes en mathématiques (CWM) et coordinatrice du projet Gender Gap in Science gender-gap-in-science.org. Elle est également membre fondatrice de AWMA.

 

 Lien de la Conférence

Lien pour s'inscrire: https://univ-lille-fr.zoom.us/webinar/register/WN_b1Y4zLtzSv2tx-34_3fPOA
ID de réunion (access code):  -
Code secret: -
Date Jeudi,  03 décembre 2020
Heure 14:00-15:00 (UTC)
Conférenciere Prof. Marie-Françoise ROY
Affiliation  Université de Rennes 1
Domaine Géométrie Algebrique
Titre Géométrie algébrique rélle et algorithmes
Résumé La conférence commence par un problème mathématique de base: combien de racines pour un polynôme univarié réel? Ce problème a été étudié par Descartes, Sturm et Hermite et leurs méthodes algorithmiques sont encore importantes aujourd'hui. Une vaste généralisation multivariée est due à Tarski, avec son fameux résultat d'élimination des quantificateurs. Diverses méthodes d'élimination des quantificateurs seront présentées et leur complexité algorithmique sera discutée.