| 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 <>
Submitted on : Wednesday, September 14, 2016 - 9:19:18 AM
Last modification on : Monday, April 6, 2020 - 9:34:04 AM
Long-term archiving on: : Thursday, December 15, 2016 - 12:16:01 PM
Contributor : Assia Mahboubi <>
Submitted on : Wednesday, September 14, 2016 - 9:19:18 AM
Last modification on : Monday, April 6, 2020 - 9:34:04 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