HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 Connect in order to contact the contributor
Submitted on : Thursday, February 15, 2007 - 12:45:05 AM
Last modification on : Friday, February 4, 2022 - 3:23:50 AM
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

143

Files downloads

40