Formalisations en Coq pour la décision de problèmes en géométrie algébrique réelle
/ Boris Djalal ; sous la direction d'Yves Bertot. Thèse de doctorat : Informatique
: Côte d'Azur : 2018
Information trouvée : membre du jury
Géométrie algébrique réelle / J. Bochnak, M. Coste, M-F. Roy, 1987
Internet : http://perso.univ-rennes1.fr/marie-francoise.roy/, 2010-05-12
Information trouvée : en poste à l'Institut de Recherche Mathématiques de Rennes (IRMAR - CNRS-UMR 6625)
à l'Université de Rennes 1 (en 2010)
Les mathématiques et les femmes / M.F. Coste-Roy, 1981. Mathématique du collège au
lycée / par Annie Berté ; préf. de Marie-Françoise Roy, 1996
Représentations effectives en géométrie algébrique réelle et optimisation polynomiale
/ Lorenzo Baldi ; sous la direction de Bernard Mourrain. Thèse de doctorat : Mathématiques
: Université Côte d'Azur : 2022
Information trouvée : présidente du jury
Site internet de la BNF : http://catalogue.bnf.fr (25-01-2011)