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é : Peut-on être sûr de la vérité d’une preuve ? Cette preuve de la preuve, comment l’obtenir en pratique ? La vérification formelle de démonstration est de plus en plus utilisée par les mathématiciens.
https://hal.inria.fr/hal-01350404
Contributeur : Inria Interstices
<>
Soumis le : vendredi 29 juillet 2016 - 17:46:42
Dernière modification le : jeudi 10 mai 2018 - 02:06:29
