| HAL-Inria | Publications, software ... of Inria's scientists |
Book sections
La Vérité et la Machine
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.
Cited literature [2 references]
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
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