Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Guillaume Melquiond
Guillaume Melquiond a rédigé la thèse suivante :
De l'arithmétique d'intervalles à la certification de programmes
par Guillaume Melquiond sous la direction de Marc Daumas - Lyon, École normale supérieure (sciences)
Informatique
Soutenue en 2006
Guillaume Melquiond dirige actuellement la thèse suivante :
Stratégies pour la réduction forte
par Antoine Lanco sous la direction de Guillaume Melquiond - université Paris-Saclay
Informatique
En préparation depuis le 01-10-2019
Guillaume Melquiond a dirigé les 2 thèses suivantes :
Development and verification of arbitrary-precision integer arithmetic libraries
par Raphaël Rieu sous la direction de Guillaume Melquiond - université Paris-Saclay
Informatique
Soutenue le 03-11-2020
Repenser la bibliothèque réelle de Coq : vers une formalisation de l'analyse classique mieux adaptée
par Catherine Lelay sous la direction de Sylvie Boldo et de Guillaume Melquiond . - Paris 11
Informatique
Soutenue le 15-06-2015
