|
|
libcats.org
The seventeen provers of the worldFreek 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. EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапахАвтор: Роман Савин
Размер книги: 5.26 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Classical electrodynamics - Klassische ElektrodynamikАвтор: Wegner F.Категория: Physics, Electromagnetism
Размер книги: 496 Kb
Renewable Energy: Technology, Economics and EnvironmentАвтор: Martin Kaltschmitt, Автор: Wolfgang Streicher, Автор: Andreas Wiese
Размер книги: 9.25 Mb
Art in Reproduction: Nineteenth-Century Prints after Lawrence Alma-Tadema, Jozef Israels and Ary SchefferАвтор: Robert Verhoogt
Размер книги: 8.54 Mb
Подробный конспект. Война 1805 года. Аустерлицкая операция.Автор: Леер Генрих АнтоновичКатегория: КНИГИ ВОЕННАЯ ИСТОРИЯ
Размер книги: 3.38 Mb
|
|
|