 |
Habilitation à diriger des recherches
Machine-checked computer-aided mathematics
https://tel.archives-ouvertes.fr/tel-03107626
Contributor : Assia Mahboubi <>
Submitted on : Tuesday, January 12, 2021 - 5:19:12 PM
Last modification on : Friday, January 15, 2021 - 3:30:49 AM
Long-term archiving on: : Tuesday, April 13, 2021 - 6:54:27 PM
Contributor : Assia Mahboubi <>
Submitted on : Tuesday, January 12, 2021 - 5:19:12 PM
Last modification on : Friday, January 15, 2021 - 3:30:49 AM
Long-term archiving on: : Tuesday, April 13, 2021 - 6:54:27 PM
File
memoir_with_cover.pdf
Files produced by the author(s)