Du rêve à la réalité des preuves - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Interstices Year : 2012

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.
No file

Dates and versions

hal-01350203 , version 1 (29-07-2016)

Identifiers

  • HAL Id : hal-01350203 , version 1

Cite

Jean-Paul Delahaye. Du rêve à la réalité des preuves. Interstices, 2012. ⟨hal-01350203⟩
178 View
0 Download

Share

Gmail Facebook X LinkedIn More