Freek Wiedijk: Seventeen Provers of the World (PDF) < الرياضيات < علوم < آخر الأخبار

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

الدعم

غلاف 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

قم بشراء هذا الكتاب الإلكتروني واحصل على كتاب آخر مجانًا!

لغة الإنجليزية ● شكل PDF ● ISBN 9783540328889 ● محرر Freek Wiedijk ● الناشر Springer Berlin Heidelberg ● نشرت 2006 ● للتحميل 3 مرات ● دقة EUR ● هوية شخصية 6316784 ● حماية النسخ Adobe DRM

يتطلب قارئ الكتاب الاليكتروني قادرة DRM

المزيد من الكتب الإلكترونية من نفس المؤلف (المؤلفين) / محرر

49٬653 كتب إلكترونية في هذه الفئة

غلاف Luca (University of Parma) Lorenzi & Adbelaziz (University of Salerno) Rhandi: Semigroups of Bounded Operators and Second-Order Elliptic and Parabolic Partial Differential Equations

Luca (University of Parma) Lorenzi & Adbelaziz (University of Salerno) Rhandi: Semigroups of Bounded Operators and Second-Order Elliptic and Parabolic Partial Differential Equations

Semigroups of Bounded Operators and Second-Order Elliptic and Parabolic Partial Differential Equations aims to propose a unified approach to elliptic and parabolic equations with bounded and smooth c …

غلاف Gary L. (The Pennsylvania State University, University Park, USA) Mullen & James A. (The Pennsylvania State University, University Park, USA) Sellers: Abstract Algebra

Gary L. (The Pennsylvania State University, University Park, USA) Mullen & James A. (The Pennsylvania State University, University Park, USA) Sellers: Abstract Algebra

Abstract Algebra: A Gentle Introduction advantages a trend in mathematics textbook publishing towards smaller, less expensive and brief introductions to primary courses. The authors move away from th …

غلاف Yi (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China) Chen & Yun (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China; Faculty of Engineering, University of Strathclyde, UK) Li

Yi (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China) Chen & Yun (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China; Faculty of Engineering, University of Strathclyde, UK) Li

Computational Intelligence Assisted Design framework mobilises computational resources, makes use of multiple Computational Intelligence (CI) algorithms and reduces computational costs. This book pro …

غلاف Abduhamid Dzhuraev: Degenerate and Other Problems

Abduhamid Dzhuraev: Degenerate and Other Problems

This Monograph contains a collection of problems arising in partial differential equations investigated by means of complex analysis approached in elementary ways. …

غلاف Elsa (University di Torino, Italy) Abbena & Alfred (University of Maryland, College Park, MD) Gray: Modern Differential Geometry of Curves and Surfaces with Mathematica

Elsa (University di Torino, Italy) Abbena & Alfred (University of Maryland, College Park, MD) Gray: Modern Differential Geometry of Curves and Surfaces with Mathematica

Presenting theory while using Mathematica in a complementary way, Modern Differential Geometry of Curves and Surfaces with Mathematica, the third edition of Alfred Gray’s famous textbook, covers how …

غلاف Boris V. Gnedenko & Victor Yu. Korolev: Random Summation

Boris V. Gnedenko & Victor Yu. Korolev: Random Summation

This book provides an introduction to the asymptotic theory of random summation, combining a strict exposition of the foundations of this theory and recent results. It also includes a description of …

غلاف Vasile I. Istratescu: Introduction to Linear Operator Theory

Vasile I. Istratescu: Introduction to Linear Operator Theory

This book is an introduction to the subject and is devoted to standard material on linear functional analysis, and presents some ergodic theorems for classes of operators containing the quasi-compact …

غلاف Paul-Jean Cahen & Marco Fontana: Commutative Ring Theory

Paul-Jean Cahen & Marco Fontana: Commutative Ring Theory

Presents the proceedings of the Second International Conference on Commutative Ring Theory in Fes, Morocco. The text details developments in commutative algebra, highlighting the theory of rings and …

غلاف D. Yogi (University of South Florida, USA) Goswami & Frank (University of Colorado, Boulder, USA (retired)) Kreith: Energy Efficiency and Renewable Energy Handbook

D. Yogi (University of South Florida, USA) Goswami & Frank (University of Colorado, Boulder, USA (retired)) Kreith: Energy Efficiency and Renewable Energy Handbook

For the Movers, Shakers, and Policy Makers in Energy Engineering and Related Industries The latest version of a bestselling reference, Energy Efficiency and Renewable Energy Handbook, Second Edition …

غلاف Nobuyuki Yoshigahara: Puzzles 101

Nobuyuki Yoshigahara: Puzzles 101

This latest collection of puzzles from the internationally acclaimed puzzlemaster Nob Yoshigahara covers a wide variety of puzzles from physical to visual, conceptual to mathematical. Solutions are p …

الصفحة التالية >>>