Skip to Main content Skip to Navigation
Book sections

La Vérité et la Machine

Benjamin Werner 1
1 LOGICAL - Logic and computing
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR8623
Résumé : En quelques pages nous présentons des avancées récentes où l'ordinateur permet d'établir des vérités mathématiques.
Document type :
Book sections
Complete list of metadata

Cited literature [2 references]  Display  Hide  Download

https://hal.inria.fr/inria-00131058
Contributor : Benjamin Werner <>
Submitted on : Thursday, February 15, 2007 - 12:45:05 AM
Last modification on : Wednesday, September 16, 2020 - 4:53:37 PM
Long-term archiving on: : Tuesday, April 6, 2010 - 8:58:17 PM

File

Werner.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : inria-00131058, version 1

Collections

Citation

Benjamin Werner. La Vérité et la Machine. cnrs. Images des Mathématiques 2006, cnrs, 2006, Images des Mathématiques. ⟨inria-00131058⟩

Share

Metrics

Record views

254

Files downloads

85