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 : présidente du jury, rapportrice de thèse
Informatique Mathématique une photographie en 2013 / Emmanuel Beffara, Jean-Daniel
Boissonnat, Sylvie Boldo... [et al.] ; Philippe Langlois, éd., 2013
Information trouvée : En poste à l'INRIA, Institut national de recherche en informatique et en automatique
(en 2013). Directrice de Recherche INRIA (2018-)
Outils pour la formalisation en analyse classique : une étude de cas en théorie du
contrôle / Damien Rouhling ; sous la direction de Yves Bertot et Cyril Cohen. Thèse
de doctorat : Informatique : Côte d'Azur : 2019
Information trouvée : rapportrice de thèse, membre du jury
Preuves formelles en arithmétiques à virgule flottante / Sylvie Boldo
https://www.inria.fr/en/sylvie-boldo-computer-science-aggregation-president, 2022-02-18
Information trouvée : 2021 : creation of a computer science aggregation at the start of the 2021 school
year. Sylvie Boldo, currently deputy scientific delegate at Inria Saclay, will be
president of the jury.
Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial
paprika.idref.fr
data.idref.fr
Documentation
Identifiant HAL : sboldo
Identifiant ORCID : 0000-0002-1970-3019
Identifiant VIAF : http://viaf.org/viaf/208242736
