Algorithme  Algorithme SLZ  Algorithmes  Analyse d'erreur  Analyse de terminaison  Analyse mathématique  Analyse réelle  Analyse statique  Approximation polynomiale rigoureuse  Architecture des ordinateurs  Arithmétique complexe en virgule flottante  Arithmétique en virgule fixe  Arithmétique en virgule flottante  Arithmétique interne des ordinateurs  Arithmétique par intervalles  Arithmétique à virgule fixe  Arithmétique à virgule flottante  Arrondi correct  Assistant de preuve Coq  Automatisation  Baccalauréat  Bibliothèque Flocq  Bibliothèque Maple  Bilinéaire  Bogues  Bugs informatiques  Calcul num?rique  Calcul symbolique  Calculs num?riques  Certificats  Certificats numériques  Compilation  Complexité  Complexité de calcul  Coq  Dilemme du fabricant de tables  Double-arrondi  Développements asymptotiques  Entiers  Erreur numérique  FFT  Fast2Sum  Fonctions D-finies  Génération automatique de code  Int?grales  Lemme de Hensel  Logiciels -- Vérification  Matrices  Midpoints  Modèles de Taylor  Multiplication  Multiplication complexe  Multiplication de matrices  Nombres flottants  Norme 2D  Optimisations à la compilation  Plate-forme Frama-C  Plate-forme Why  Polynômes  Preuve formelle  Preuves formelles Coq  Programmes numériques  Qualité numérique certifiée  Racine carrée  Racines entières  Rang  Reste de Taylor-Lagrange  SSReflect  Standard IEEE 754  Technique de Coppersmith  Théorie de la démonstration  TwoMultFMA  TwoSum  Vérification logicielle  

Sylvie Boldo a rédigé la thèse suivante :


Sylvie Boldo a dirigé les 2 thèses suivantes :


Sylvie Boldo a été président de jury des 2 thèses suivantes :


Sylvie Boldo a été rapporteur de la thèse suivante :


Sylvie Boldo a été membre de jury des 3 thèses suivantes :