Preuves formelles, preuves calculatoires - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Interstices Year : 2007

Preuves formelles, preuves calculatoires

Abstract

Dans cet exposé, Benjamin Werner présente les méthodes formelles appliquées à la validation de résultats spectaculaires comme la démonstration du théorème des quatre couleurs, ou encore de la conjecture de Kepler.
No file

Dates and versions

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

Identifiers

  • HAL Id : hal-01350254 , version 1

Cite

Benjamin Werner. Preuves formelles, preuves calculatoires. Interstices, 2007. ⟨hal-01350254⟩
149 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More