Du rêve à la réalité des preuves
Abstract
Les ordinateurs ne savent pas prouver seuls des théorèmes profonds. Cependant, grâce aux assistants de preuve, ils garantissent les démonstrations découvertes par les mathématiciens.
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
inria Interstices : Connect in order to contact the contributor
https://inria.hal.science/hal-01350203
Submitted on : Friday, July 29, 2016-5:44:44 PM
Last modification on : Friday, March 24, 2023-2:53:02 PM