Ebook > Scienza > Matematica > Freek Wiedijk: Seventeen Provers of the World (PDF)

Freek Wiedijk
Seventeen Provers of the World [PDF ebook]
Foreword by Dana S. Scott

Supporto

Copertina di Freek Wiedijk: Seventeen Provers of the World (PDF)

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, Pho X, IMPS, Metamath, Theorema, Leog, Nuprl, Omega, B method, and Minlog.

€63.53

Acquista questo ebook e ricevine 1 in più GRATIS!

Lingua Inglese ● Formato PDF ● ISBN 9783540328889 ● Editore Freek Wiedijk ● Casa editrice Springer Berlin Heidelberg ● Pubblicato 2006 ● Scaricabile 3 volte ● Moneta EUR ● ID 6316784 ● Protezione dalla copia Adobe DRM

Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

48.032 Ebook in questa categoria

Copertina di Izu Vaisman: Foundations of Three-Dimensional Euclidean Geometry

Izu Vaisman: Foundations of Three-Dimensional Euclidean Geometry

This book presents to the reader a modern axiomatic construction of three-dimensional Euclidean geometry in a rigorous and accessible form. It is helpful for high school teachers who are interested …

Copertina di Vladimir (Ohio University) Vinogradov: Refined Large Deviation Limit Theorems

Vladimir (Ohio University) Vinogradov: Refined Large Deviation Limit Theorems

This is a developing area of modern probability theory, which has applications in many areas. This volume is devoted to the systematic study of results on large deviations in situations where …

Copertina di P Bonissone & W Pedrycz: Handbook of Fuzzy Computation

P Bonissone & W Pedrycz: Handbook of Fuzzy Computation

Initially conceived as a methodology for the representation and manipulation of imprecise and vague information, fuzzy computation has found wide use in problems that fall well beyond its originally …

Copertina di Takao (Kobe University, Japan) Nambu: Theory of Stabilization for Linear Boundary Control Systems

Takao (Kobe University, Japan) Nambu: Theory of Stabilization for Linear Boundary Control Systems

This book presents a unified algebraic approach to stabilization problems of linear boundary control systems with no assumption on finite-dimensional approximations to the original systems, such as t …

Copertina di Olga Oleinik & I.G. Petrovskii: I.G.Petrovskii:Selected Wrks P

Olga Oleinik & I.G. Petrovskii: I.G.Petrovskii:Selected Wrks P

This book contains the major works of Ivan Georgievich Petrowsky on systems of partial differential equations and algebraic geometry. The articles are of crucial importance for the topology of real …

Copertina di Bassem R. Mahafza: Introduction to Radar Analysis

Bassem R. Mahafza: Introduction to Radar Analysis

Introduction to Radar Analysis, Second Edition is a major revision of the popular textbook. It is written within the context of communication theory as well as the theory of signals and noise. By emp …

Copertina di Stefaan Caenepeel & Freddy Van Oystaeyen: Hopf Algebras and Quantum Groups

Stefaan Caenepeel & Freddy Van Oystaeyen: Hopf Algebras and Quantum Groups

This volume is based on the proceedings of the Hopf-Algebras and Quantum Groups conference at the Free University of Brussels, Belgium. It presents state-of-the-art papers – selected from over 65 …

Copertina di Gary Chartrand & Ping (Western Michigan University, Kalamazoo, Michigan, USA) Zhang: Chromatic Graph Theory

Gary Chartrand & Ping (Western Michigan University, Kalamazoo, Michigan, USA) Zhang: Chromatic Graph Theory

With Chromatic Graph Theory, Second Edition , the authors present various fundamentals of graph theory that lie outside of graph colorings, including basic terminology and results, trees and connecti …

Copertina di Michele Ciarletta & D. Iesan: Non-Classical Elastic Solids

Michele Ciarletta & D. Iesan: Non-Classical Elastic Solids

Problems concerning non-classical elastic solids continue to attract the attention of mathematicians, scientists and engineers. Research in this area addresses problems concerning many substances, …

Copertina di G.E. Vekstein: Physics of Continuous Media

G.E. Vekstein: Physics of Continuous Media

This textbook is based on lectures and tutorials given for several years at the Physics Department of Novosibirsk State University. It is constructed as a set of problems followed by detailed …

Pagina successiva >>>