Algorithme  Algorithme SLZ  Algorithmes  Algorithmes compensés  Analyse classique  Analyse d'erreur  Analyse de terminaison  Analyse mathématique  Analyse réelle  Analyse statique  Approximation polynomiale rigoureuse  Approximations polynomiales rigoureuses  Architecture des ordinateurs  Arithmétique Stochastique Discrète  Arithmétique complexe en virgule flottante  Arithmétique des ordinateurs  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  Arithmétique à virgule flottante, d'intervalles, multi-précision, binaire et décimale  Arrondi correct  Assistant de preuve Coq  Assistants de preuve  Automatisation  Aéronautique  Aérospatial  Baccalauréat  Bibliothèque CADNA  Bibliothèque Flocq  Bibliothèque Maple  Bilinéaire  Bogues  Bugs informatiques  Calcul  Calcul formel  Calcul intensif  Calcul numérique  Calcul numérique rigoureux  Calcul symbolique  Calculs numériques  Certification aéronautique de programmes numériques  Certificats  Certificats numériques  Commande prédictive  Commande, Théorie de la  Compilation  Complexité  Complexité asymptotique  Complexité de calcul  Contrôle  Coq  Coq  Corps algébriques  Debugage  Dilemme du fabricant de tables  Double-arrondi  Débogage  Développements asymptotiques  Ensembles semi-algébriques  Entiers  Erreur d'arrondi  Erreur numérique  Erreurs d'arrondi  FFT  Fast2Sum  Filtre numérique linéaire  Filtres numériques  Fonctions D-finies  Fonctions semi-algébriques  Formalisation des mathématiques  Formalisme  Fractions  Générateur automatique de tests  Génération automatique de code  Géométrie algébrique  Géométrie algébrique réelle  Hpc  Intégrales  Langages de programmation fonctionnelle  Lemme de Hensel  Logiciels -- Vérification  Logique de Hoare  Logique de séparation  Logique informatique  Logiques de programme  Matrices  Midpoints  Model calculatoire  Modèles de Taylor  Monades  Multiplication  Multiplication complexe  Multiplication de matrices  Méthode formelle  Méthodes formelles  Méthodes formelles  Méthodes symboliques  Méthodes symboliques-numériques  Nombres algébriques  Nombres flottants  Norme 2D  Optimisation  Optimisation combinatoire  Optimisation des types  Optimisations à la compilation  Pendule  Pendule inversé  Permutations  Plate-forme Frama-C  Plate-forme Why  Polynômes  Preuve formelle  Preuves assistées par ordinateur  Preuves formelles  Preuves formelles Coq  Programmation par contraintes  Programmes numériques  Protocoles  Protocoles de réseaux d'ordinateurs  Qualité numérique certifiée  Racine carrée  Racines entières  Rang  Représentation de Newton des polynômes  Reste de Taylor-Lagrange  Runge-Kutta  Runge-Kutta, Méthode de  SSReflect  Simulation par ordinateur  Simulation, Méthodes de  Standard IEEE 754  Substitution  Systèmes embarqués  Systèmes informatiques -- Mesures de sûreté  Sécurité informatique  Technique de Coppersmith  Théorie de la démonstration  Théorie du contrôle  Traitement du signal  TwoMultFMA  TwoSum  Validation a posteriori  Validation numérique  Virgule flottante  Vérification  Vérification logicielle  normes  Élimination des quantificateurs  

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


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


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


Sylvie Boldo a été rapporteur des 5 thèses suivantes :


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