Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Florent Bréhard

est l'auteur d'une thèse

Approximations polynomiales rigoureuses Arithmétique des ordinateurs Aérospatial Calcul formel Calcul numérique rigoureux Fonctions D-finies Méthodes symboliques-numériques Preuve formelle Preuves assistées par ordinateur Validation a posteriori

Fullscreen

Approximations polynomiales rigoureuses Arithmétique des ordinateurs Aérospatial Calcul formel Calcul numérique rigoureux Fonctions D-finies Méthodes symboliques-numériques Preuve formelle Preuves assistées par ordinateur Validation a posteriori

Florent Bréhard a rédigé la thèse suivante :

Certified numerics in function spaces : polynomial approximations meet computer algebra and formal proof

par Florent Bréhard sous la direction de Mioara Maria Joldes et de Mioara Maria Joldes . - Lyon

Informatique

Soutenue le 12-07-2019

Thèse soutenue

Accéder en ligne