Diferencia entre revisiones de «Documentación»
De Demostración asistida por ordenador (2012-13)
(→Visiones generales del DAO) |
(→Visiones generales del DAO) |
||
| Línea 4: | Línea 4: | ||
* M. Davis. [http://www.cs.nyu.edu/cs/faculty/davism/early.ps The early history of automated deduction]. | * M. Davis. [http://www.cs.nyu.edu/cs/faculty/davism/early.ps The early history of automated deduction]. | ||
| − | * J.P. Delahaye [http://interstices.info/jcms/int_63417/du-reve-a-la-realite-des-preuves Du rêve à la réalité des preuves]. ''Interstices'', 8 de julio de 2012. | + | * J.P. Delahaye. [http://interstices.info/jcms/int_63417/du-reve-a-la-realite-des-preuves Du rêve à la réalité des preuves]. ''Interstices'', 8 de julio de 2012. |
| − | * J. Germoni [http://images.math.cnrs.fr/Coq-et-caracteres.html Coq et caractères: Preuve formelle du théorème de Feit et Thompson]. ''Images des Mathématiques'', CNRS, 23 de noviembre de 2012. | + | * J. Germoni. [http://images.math.cnrs.fr/Coq-et-caracteres.html Coq et caractères: Preuve formelle du théorème de Feit et Thompson]. ''Images des Mathématiques'', CNRS, 23 de noviembre de 2012. |
* G. Kolata. [http://www.nytimes.com/library/cyber/week/1210math.html Computer math proof shows reasoning power]. ''The New York Times'', 10 de diciembre de 1996. | * G. Kolata. [http://www.nytimes.com/library/cyber/week/1210math.html Computer math proof shows reasoning power]. ''The New York Times'', 10 de diciembre de 1996. | ||
| − | * D. MacKenzie [http://www.bcs.org/server.php?show=ConWebDoc.4364 Computers and the sociology of mathematical proof]. | + | * D. MacKenzie. [http://www.bcs.org/server.php?show=ConWebDoc.4364 Computers and the sociology of mathematical proof]. |
* G. Sutcliffe. [http://www.cs.miami.edu/~tptp/OverviewOfATP.html What is automated theorem proving?]. | * G. Sutcliffe. [http://www.cs.miami.edu/~tptp/OverviewOfATP.html What is automated theorem proving?]. | ||
Revisión del 23:50 23 nov 2012
En esta página se recogen en enlaces que sirven de documentación al seminario de demostración asistida por ordenador (DAO).
Visiones generales del DAO
- M. Davis. The early history of automated deduction.
- J.P. Delahaye. Du rêve à la réalité des preuves. Interstices, 8 de julio de 2012.
- J. Germoni. Coq et caractères: Preuve formelle du théorème de Feit et Thompson. Images des Mathématiques, CNRS, 23 de noviembre de 2012.
- G. Kolata. Computer math proof shows reasoning power. The New York Times, 10 de diciembre de 1996.
- D. MacKenzie. Computers and the sociology of mathematical proof.
- G. Sutcliffe. What is automated theorem proving?.