Filter your results
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Investigations in Computer-Aided Mathematics : Experimentation, Computation, and CertificationComputation and Language [cs.CL]. Université Paris Saclay (COmUE), 2017. English. ⟨NNT : 2017SACLX086⟩
Theses
tel-01691185v1
|