@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",
}