@phdthesis{sibutpinote:tel-01691185, TITLE = {{Investigations in Computer-Aided Mathematics : Experimentation, Computation, and Certification}}, AUTHOR = {Sibut Pinote, Thomas}, URL = {https://pastel.hal.science/tel-01691185}, NUMBER = {2017SACLX086}, SCHOOL = {{Universit{\'e} Paris Saclay (COmUE)}}, YEAR = {2017}, MONTH = Dec, KEYWORDS = {Formal proof ; Numeric computation ; Integral ; Matrix multiplication ; Preuve formelle ; Calcul num{\'e}rique ; Int{\'e}grales ; Multiplication de matrices}, TYPE = {Theses}, PDF = {https://pastel.hal.science/tel-01691185/file/65160_SIBUT-PINOTE_2017_archivage.pdf}, HAL_ID = {tel-01691185}, HAL_VERSION = {v1}, }