Machine-checked computer-aided mathematics
Origin | Files produced by the author(s) |
---|
INRIA.HAL.SCIENCE Web Portal Publications, software... of Inria fellow Academics |
Origin | Files produced by the author(s) |
---|
Assia Mahboubi : Connect in order to contact the contributor
https://theses.hal.science/tel-03107626
Submitted on : Wednesday, January 13, 2021-9:31:55 PM
Last modification on : Tuesday, August 27, 2024-12:52:36 PM