Diferencia entre revisiones de «Documentación»
De Demostración asistida por ordenador (2012-13)
(→Visiones generales del DAO) |
(→Visiones generales del DAO) |
||
Línea 1: | Línea 1: | ||
En esta página se recogen en enlaces que sirven de documentación al seminario de demostración asistida por ordenador (DAO). | En esta página se recogen en enlaces que sirven de documentación al seminario de demostración asistida por ordenador (DAO). | ||
− | == Visiones generales | + | == Visiones generales de la DAO == |
# 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]. |
Revisión del 00:01 24 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 de la 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.
- T. Hales. Formal proof. Notices of AMS, Vol. 55, N. 11 (2008) pp. 1370-1380.
- J. Harrison. A short survey of automated reasoning. Lecture Notes in Computer Science, Vol. 4545, pp. 334-349, 2007.
- J. Harrison. Formal proof: Theory and practice. Notices of the AMS, Vol. 55, N. 11 (2008) p.1395-1406.
- 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?.