Search - PASTEL - Thèses en ligne de ParisTech Access content directly

Filter your results

1 Résultat
authFullName_s : Thomas Sibut Pinote
Image document

Investigations in Computer-Aided Mathematics : Experimentation, Computation, and Certification

Thomas Sibut Pinote
Computation and Language [cs.CL]. Université Paris Saclay (COmUE), 2017. English. ⟨NNT : 2017SACLX086⟩
Theses tel-01691185v1