|
|
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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Militaerfahrzeuge Band 06 Die Halbketten-Fahrzeuge des deutschen Heeres 1909-1945 (Walter J. Spielberger)Автор:
Размер книги: 24.67 Mb
Women and Change in Cyprus: Feminisms and Gender in ConflictАвтор: Maria Hadjipavlou
Размер книги: 1.78 Mb
People and Profits?: The Search for A Link Between A Company's Social and Financial Performance (Volume in Lea's Organization and Management Series)Автор: Joshua Daniel Margolis, Автор: James P. WalshКатегория: Экономика
Размер книги: 2.25 Mb
Nature's Justice: Writings of William O. Douglas (Northwest Readers)Автор: William O. Douglas, Автор: James O'Fallon
Размер книги: 1.88 Mb
Frank O'Hara: The Poetics of Coterie (Contemp North American Poetry)Автор: Lytle Shaw
Размер книги: 3.15 Mb
|
|
|