Skip to Main content Skip to Navigation
Journal articles

Preuves formelles, preuves calculatoires

Benjamin Werner 1 
1 TYPICAL - Types, Logic and computing
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
Résumé : 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.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-01350254
Contributor : inria Interstices Connect in order to contact the contributor
Submitted on : Friday, July 29, 2016 - 5:45:10 PM
Last modification on : Saturday, June 25, 2022 - 9:10:20 PM

Identifiers

  • HAL Id : hal-01350254, version 1

Collections

Citation

Benjamin Werner. Preuves formelles, preuves calculatoires. Interstices, INRIA, 2007. ⟨hal-01350254⟩

Share

Metrics

Record views

147