|
|
libcats.org
The Seventeen Provers of the World: Foreword by Dana S. ScottFreek WiedijkCommemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk initiated the present book in 2004 by inviting formalizations of a proof of the irrationality of the square root of two from scientists using various theorem proving systems. The 17 systems included in this volume are among the most relevant ones for the formalization of mathematics. The systems are showcased by presentation of the formalized proof and a description in the form of answers to a standard questionnaire. The 17 systems presented are HOL, Mizar, PVS, Coq, Otter/Ivy, Isabelle/Isar, Alfa/Agda, ACL2, PhoX, IMPS, Metamath, Theorema, Leog, Nuprl, Omega, B method, and Minlog.
Скачать книгу бесплатно (pdf, 1.33 Mb)
Читать «The Seventeen Provers of the World: Foreword by Dana S. Scott» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Methods in Enzymology. DNA Microarrays: Databases and StatisticsАвтор: Kimmel A.R., Автор: Oliver B. (eds.)
Размер книги: 13.31 Mb
The Automotive ChassisАвтор: Tim GillesКатегория: Electronical-Computer-Mechanical
Размер книги: 24.09 Mb
The Christian Topography of Cosmas, an Egyptian Monk: Translated from the Greek, and Edited with Notes and Introduction (Cambridge Library Collection - Hakluyt First Series)Автор: Cosmas Indicopleustes, Автор: Edited and Translated by: J. W. McCrindle
Размер книги: 7.01 Mb
Microarrays: Volume 2, Applications and Data Analysis (Methods in Molecular Biology, v382)Автор: Jang B. Rampal
Размер книги: 6.73 Mb
|
|
|