Documentación
De Demostración asistida por ordenador (2012-13)
Revisión del 22:41 23 nov 2012 de Jalonso (discusión | contribuciones) (Página creada con '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. [ht...')
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. Germoni Coq et caractères: Preuve formelle du théorème de Feit et Thompson. Images des Mathématiques, CNRS, 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?.