| HAL-Inria | Publications, software ... of Inria's scientists |
Journal articles
Machine-checked mathematics
Abstract : In this article she gives an overview about machine-checked mathematics.
Cited literature [18 references]
https://hal.inria.fr/hal-01363284
Contributor : Assia Mahboubi Connect in order to contact the contributor
Submitted on : Wednesday, September 14, 2016 - 9:19:18 AM
Last modification on : Friday, April 30, 2021 - 9:58:35 AM
Long-term archiving on: : Thursday, December 15, 2016 - 12:16:01 PM
Contributor : Assia Mahboubi Connect in order to contact the contributor
Submitted on : Wednesday, September 14, 2016 - 9:19:18 AM
Last modification on : Friday, April 30, 2021 - 9:58:35 AM
Long-term archiving on: : Thursday, December 15, 2016 - 12:16:01 PM
File
naw5-2016-17-3-172.pdf
Publisher files allowed on an open archive