Certified numerics in function spaces : polynomial approximations meet computer algebra and formal proof / Florent Bréhard ; sous la direction de Mioara Maria Joldes et de Mioara Maria Joldes

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Catalogue Worldcat

Calcul formel

Joldes, Mioara Maria (1984-....) (Directeur de thèse / thesis advisor)

Joldes, Mioara Maria (1984-....) (Directeur de thèse / thesis advisor)

Beckermann, Bernhard (Président du jury de soutenance / praeses)

Boldo, Sylvie (Rapporteur de la thèse / thesis reporter)

Wilczak, Daniel (Rapporteur de la thèse / thesis reporter)

Pous, Damien (Rapporteur de la thèse / thesis reporter)

D'Amico, Simone‏ (Membre du jury / opponent)

Yap, Chee-Keng (Membre du jury / opponent)

Université de Lyon (2015-....) (Organisme de soutenance / degree-grantor)

École doctorale en Informatique et Mathématiques de Lyon (Ecole doctorale associée à la thèse / doctoral school)

École normale supérieure de Lyon (Autre partenaire associé à la thèse / thesis associated third party)

Laboratoire de l'informatique du parallélisme (Lyon) (Laboratoire associé à la thèse / thesis associated laboratory)

Laboratoire d'Analyse et d'Architecture des Systèmes (Toulouse ; 1968-....) (Laboratoire associé à la thèse / thesis associated laboratory)