Algorithme SLZ  Algorithmes  Algorithmes certifiés  Algèbre linéaire  Analyse mathématique  Analyse numérique  Analyse réelle  Applications à base de composants  Approximation polynomiale rigoureuse  Arithmétique en virgule flottante  Arithmétique par intervalles  Arithmétique à virgule flottante  Arrondi correct  Assistant de preuve  Assistant de preuve Coq  Baccalauréat  Bibliothèque Flocq  Calculs efficaces vérifiés  Certification  Certificats  Commande prédictive  Complexité de calcul  Contrôle  Coq  Coq  Corps algébriques  Cryptographie  Dilemme du fabricant de tables  Double-arrondi  Ensembles semi-algébriques  Fast2Sum  Fonctions D-finies  Fonctions récursives  Fonctions semi-algébriques  Formalisation  Formalisation des mathématiques  Formalisme  Fractions  Géométrie -- Didacticiels  Géométrie algébrique  Géométrie algébrique réelle  Homologie  Induction  Intelligence artificielle  Isomorphismes  Lambda-calcul  Langages de programmation -- Sémantique  Lemme de Hensel  Logique de Hoare  Mathématiques formelles  Midpoints  Modèles de Taylor  Méthode formelle  Méthodes formelles  Newton, Méthode de  Nombres algébriques  Norme 2D  Optimisation  Permutations  Polynômes  Preuve de programme  Preuve formelle  Preuves formelles  Preuves formelles Coq  Racine carrée  Racines entières  Représentation de Newton des polynômes  Reste de Taylor-Lagrange  SSReflect  Simulateur  Standard IEEE 754  Substitution  Système embarqué  Systèmes embarqués  Systèmes informatiques -- Mesures de sûreté  Technique de Coppersmith  Théorie de la démonstration  Théorie des types  Théorèmes -- Démonstration automatique  Topologie  Traduction automatique  TwoMultFMA  TwoSum  Vérification  Vérification formelle  Élimination des quantificateurs  Équations, Systèmes d'  

Yves Bertot a rédigé la thèse suivante :

Sciences appliquées
Soutenue en 1991
Thèse soutenue


Yves Bertot a dirigé les 11 thèses suivantes :

Informatique
Soutenue le 20-11-2013
Thèse soutenue

Informatique
Soutenue en 2011
Thèse soutenue

Informatique
Soutenue en 2010
Thèse soutenue

Informatique
Soutenue en 2004
Thèse soutenue

Sciences appliquées
Soutenue en 1997
Thèse soutenue


Yves Bertot a été président de jury de la thèse suivante :


Yves Bertot a été rapporteur des 3 thèses suivantes :


Yves Bertot a été membre de jury de la thèse suivante :

Informatique
Soutenue le 10-07-2013
Thèse soutenue