Thomas Sibut-Pinote. Investigations in Computer-Aided Mathematics : Experimentation, Computation, and Certification. (Investigations en Mathématiques Assistées par Ordinateur : Expérimentation, Calcul et Certification). PhD thesis, University of Paris-Saclay, France, 2017. [doi]
Abstract is missing.