Catalog > Sains > Matematika > Freek Wiedijk: Seventeen Provers of the World (PDF)

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

Dukung

Sampul 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.

€64.47

Beli ebook ini dan dapatkan 1 lagi GRATIS!

Bahasa Inggris ● Format PDF ● ISBN 9783540328889 ● Editor Freek Wiedijk ● Penerbit Springer Berlin Heidelberg ● Diterbitkan 2006 ● Diunduh 3 kali ● Mata uang EUR ● ID 6316784 ● Perlindungan salinan Adobe DRM

Membutuhkan pembaca ebook yang mampu DRM

Ebook lainnya dari penulis yang sama / Editor

49,845 Ebooks dalam kategori ini

Sampul Mark (University of California, Los Angeles, USA; formerly, National Academy of Sciences of Ukraine) Burgin: Semitopological Vector Spaces

Mark (University of California, Los Angeles, USA; formerly, National Academy of Sciences of Ukraine) Burgin: Semitopological Vector Spaces

This new volume shows how it is possible to further develop and essentially extend the theory of operators in infinite-dimensional vector spaces, which plays an important role in mathematics, physics …

Sampul Prabir K. (Dept. of Food Science, Minas Gerais, Brazil) Chandra & R. Paul (University of California, Davis, USA) Singh: Applied Numerical Methods for Food and Agricultural Engineers

Prabir K. (Dept. of Food Science, Minas Gerais, Brazil) Chandra & R. Paul (University of California, Davis, USA) Singh: Applied Numerical Methods for Food and Agricultural Engineers

Written from the expertise of an agricultural engineering background, this exciting new book presents the most useful numerical methods and their complete program listings. …

Sampul Daniel (The Aerospace Corporation, El Segundo, California, USA) Houston & Raymond J. (Naval Postgraduate School, Monterey, California, USA) Madachy: What Every Engineer Should Know About Modeling and Simulation

Daniel (The Aerospace Corporation, El Segundo, California, USA) Houston & Raymond J. (Naval Postgraduate School, Monterey, California, USA) Madachy: What Every Engineer Should Know About Modeling and Simulation

This practical book presents fundamental concepts and issues in computer modeling and simulation (M&S) in a simple and practical way for engineers, scientists, and managers who wish to apply simulati …

Sampul Garrett Birkhoff & Saunders Mac Lane: A Survey of Modern Algebra

Garrett Birkhoff & Saunders Mac Lane: A Survey of Modern Algebra

This classic, written by two young instructors who became giants in their field, has shaped the understanding of modern algebra for generations of mathematicians and remains a valuable reference and …

Sampul Henning Bumann & Malte Grosser: Advanced R Solutions

Henning Bumann & Malte Grosser: Advanced R Solutions

This book offers solutions to all 284 exercises in Advanced R, Second Edition . All the solutions have been carefully documented and made to be as clear and accessible as possible. Working through th …

Sampul Giovanni Dore: Differential Equations in Banach Spaces

Giovanni Dore: Differential Equations in Banach Spaces

This reference – based on the Conference on Differential Equations, held in Bologna – provides information on current research in parabolic and hyperbolic differential equations. Presenting methods a …

Sampul Zhongying Chen: Advances in Computational Mathematics

Zhongying Chen: Advances in Computational Mathematics

This volume presents the refereed proceedings of the Guangzhou International Symposium on Computational Mathematics, held at the Zhongshan University, People”s Republic of China. Nearly 90 internati …

Sampul M.D.S. (Ecole Polytechnique, Montreal, Canada) Aliyu: Nonlinear H-Infinity Control, Hamiltonian Systems and Hamilton-Jacobi Equations

M.D.S. (Ecole Polytechnique, Montreal, Canada) Aliyu: Nonlinear H-Infinity Control, Hamiltonian Systems and Hamilton-Jacobi Equations

A comprehensive overview of nonlinear H∞ control theory for both continuous-time and discrete-time systems, Nonlinear H∞-Control, Hamiltonian Systems and Hamilton-Jacobi Equations covers topics as di …

Sampul Klaus G. Fischer: Computational Algebra

Klaus G. Fischer: Computational Algebra

Based on the fifth Mid-Atlantic Algebra Conference held recently at George Mason University, Fairfax, Virginia. Focuses on both the practical and theoretical aspects of computational algebra. Demonst …

Sampul Brian Hatfield: Quantum Field Theory Of Point Particles And Strings

Brian Hatfield: Quantum Field Theory Of Point Particles And Strings

First Published in 2018. The emphasis of the book is calculational, and most computations are presented in step-by-step detail. The book is unique in that it develops all three representations of qua …

Halaman selanjutnya >>>