Articles liés à The Seventeen Provers of the World: Foreword by Dana...

The Seventeen Provers of the World: Foreword by Dana S. Scott - Couverture souple

 
9783540307044: The Seventeen Provers of the World: Foreword by Dana S. Scott
Couverture souple
ISBN 10 : 3540307044 ISBN 13 : 9783540307044
Editeur : Springer Berlin Heidelberg, 2008

Synopsis

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.

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer Berlin Heidelberg
Date d'édition
2008
Langue
anglais
ISBN 10 
3540307044
ISBN 13 
9783540307044
Reliure
Broché
Nombre de pages
157
Éditeur
Wiedijk Freek
Coordonnées du fabricant
non disponible
Personne responsable
ProductSafety@springernature.com
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Allemagne