@PHDTHESIS{jolde2011,
url = "http://www.theses.fr/2011ENSL0655",
title = "Approximations polynomiales rigoureuses et applications",
author = "Joldes, Mioara Maria",
year = "2011",
note = "Thèse de doctorat dirigée par Muller, Jean-Michel et Brisebarre, Nicolas Informatique Lyon, École normale supérieure 2011",
note = "2011ENSL0655",
url = "http://www.theses.fr/2011ENSL0655/document",
}

@PHDTHESIS{bréh2019,
url = "http://www.theses.fr/2019LYSEN032",
title = "Certified numerics in function spaces : polynomial approximations meet computer algebra and formal proof",
author = "Bréhard, Florent",
year = "2019",
note = "Thèse de doctorat dirigée par Joldes, Mioara Maria et Joldes, Mioara Maria Informatique Lyon 2019",
note = "2019LYSEN032",
url = "http://www.theses.fr/2019LYSEN032/document",
}

@PHDTHESIS{sibut2017,
url = "http://www.theses.fr/2017SACLX086",
title = "Investigations in Computer-Aided Mathematics : Experimentation, Computation, and Certification",
author = "Sibut Pinote, Thomas",
year = "2017",
note = "Thèse de doctorat dirigée par Mahboubi, Assia Informatique Université Paris-Saclay (ComUE) 2017",
note = "2017SACLX086",
url = "http://www.theses.fr/2017SACLX086/document",
}

@PHDTHESIS{torre2016,
url = "http://www.theses.fr/2016LYSEN030",
title = "Tools for the Design of Reliable and Efficient Functions Evaluation Libraries",
author = "Torres, Serge",
year = "2016",
note = "Thèse de doctorat dirigée par Muller, Jean-Michel Informatique Lyon 2016",
note = "2016LYSEN030",
url = "http://www.theses.fr/2016LYSEN030/document",
}