Skip to Main content Skip to Navigation
Journal articles

Preuves formelles, preuves calculatoires

Benjamin Werner 1
1 TYPICAL - Types, Logic and computing
Inria Saclay - Ile de France, LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
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 <>
Submitted on : Friday, July 29, 2016 - 5:45:10 PM
Last modification on : Saturday, May 1, 2021 - 3:38:47 AM

Identifiers

  • HAL Id : hal-01350254, version 1

Citation

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

Share

Metrics

Record views

352