TY  - THES
DP  - http://www.theses.fr/2019LYSEN032
TI  - Certified numerics in function spaces : polynomial approximations meet computer algebra and formal proof
AU  - Bréhard, Florent
A3  - Joldes, Mioara Maria; Joldes, Mioara Maria
PY  - 2019
N1  - Thèse de doctorat Informatique Lyon 2019
N1  - 2019LYSEN032
UR  - http://www.theses.fr/2019LYSEN032/document
ER  -