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, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR
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.
Type de document :
Article dans une revue
Liste complète des métadonnées

https://hal.inria.fr/hal-01350254
Contributeur : Inria Interstices <>
Soumis le : vendredi 29 juillet 2016 - 17:45:10
Dernière modification le : jeudi 10 mai 2018 - 02:07:00

Identifiants

  • HAL Id : hal-01350254, version 1

Collections

Citation

Benjamin Werner. Preuves formelles, preuves calculatoires. Interstices, INRIA, 2007, 〈https://interstices.info/jcms/c_23115/preuves-formelles-preuves-calculatoires〉. 〈hal-01350254〉

Partager

Métriques

Consultations de la notice

264