| 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 <>
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
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