The Seventeen Provers of the World Foreword by Dana S. Scott /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Wiedijk, Freek (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Series: Lecture Notes in Computer Science, 3600
• Subjects: Computer science.; Software engineering.; Mathematical logic.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Software Engineering.; Mathematical Logic and Formal Languages.

Commemorating 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. Th...

Table of Contents:

• Informal
• HOL
• Mizar
• PVS
• Coq
• Otter/Ivy
• Isabelle/Isar
• Alfa/Agda
• ACL2
• PhoX
• IMPS
• Metamath
• Theorema
• Lego
• Nuprl
• ?mega
• B Method
• Minlog.