The Seventeen Provers of the World Image close
The Seventeen Provers of the World
The Seventeen Provers of the World
Show Hide Adult Content
The Seventeen Provers of the World close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics

The Seventeen Provers of the World

Foreword by Dana S. Scott
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$144.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $36.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 30 Jul - 9 Aug using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

CSL'88 Save $45
$150.99
$196.95
CSL'88
Paperback / softback
Available - Usually ships in 3-4 weeks
Practical Aspects of Declarative Languages
$204.99
Practical Aspects of Declarative Languages
Paperback / softback
Available - Usually ships in 3-4 weeks
Scalable Uncertainty Management Save $27
$135.99
$163.95
Scalable Uncertainty Management
Paperback / softback
Available - Usually ships in 3-4 weeks
Optimization and Applications
$181.99
Optimization and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Direct Methods for Sparse Matrices by O. Osterby
$83.99
Direct Methods for Sparse Matrices
by O. Osterby ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Performance Engineering and Stochastic Modelling
$181.99
Computer Performance Engineering and Stochastic Modelling
Paperback / softback
Available - Usually ships in 3-4 weeks
Algebraic Methodology and Software Technology
$268.99
Algebraic Methodology and Software Technology
Paperback / softback
Available - Usually ships in 3-4 weeks
Graph Transformation
$170.99
Graph Transformation
Paperback / softback
Available - Usually ships in 3-4 weeks
Machine Learning, Optimization, and Data Science
$215.99
Machine Learning, Optimization, and Data Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Dynamic Logic. New Trends and Applications
$135.99
Dynamic Logic. New Trends and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Graph Drawing and Network Visualization
$158.99
Graph Drawing and Network Visualization
Paperback / softback
Available - Usually ships in 3-4 weeks
Parallel Processing and Applied Mathematics
$192.99
Parallel Processing and Applied Mathematics
Paperback / softback
Available - Usually ships in 3-4 weeks
Computation Theory by Andrzej Skowron Save $45
$150.99
$196.95
Computation Theory
by Andrzej Skowron ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Automatic Differentiation by L B Rall
$125.99
Automatic Differentiation
by L B Rall ~ Paperback / softback
Available - Usually ships in 3-4 weeks
STACS 89 Save $37
$158.99
$196.95
STACS 89
Paperback / softback
Available - Usually ships in 3-4 weeks
Similarity Search and Applications
$136.99
Similarity Search and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date Australia
February 3rd, 2006
Audience
  • Professional & Vocational
Contributor
  • Edited by Freek Wiedijk
Illustrations
XVI, 162 p.
Pages
162
Dimensions
156x234x9
ISBN-13
9783540307044
Product ID
3132135

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics