Skip to content

The Seventeen Provers of the World: Foreword by Dana S. Scott
Stock Photo: Cover May Be Different

The Seventeen Provers of the World: Foreword by Dana S. Scott Paperback - 2006

by Freek Wiedijk (Editor)


From the publisher

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.

Details

  • Title The Seventeen Provers of the World: Foreword by Dana S. Scott
  • Author Freek Wiedijk (Editor)
  • Binding Paperback
  • Edition 1st
  • Pages 162
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Date 2006-02-03
  • Illustrated Yes
  • ISBN 9783540307044 / 3540307044
  • Weight 0.62 lbs (0.28 kg)
  • Dimensions 6.17 x 9.28 x 0.41 in (15.67 x 23.57 x 1.04 cm)
  • Dewey Decimal Code 511.36
Back to Top

More Copies for Sale

The Seventeen Provers of the World : Foreword by Dana S. Scott
Stock Photo: Cover May Be Different

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

by Freek Wiedijk

  • New
Condition
New
ISBN 10 / ISBN 13
9783540307044 / 3540307044
Quantity Available
47
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$58.59
$10.12 shipping to USA

Show Details

Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The The Seventeen Provers of the World : Foreword by Dana S. Scott.
Item Price
$58.59
$10.12 shipping to USA
The Seventeen Provers Of The World
Stock Photo: Cover May Be Different

The Seventeen Provers Of The World

  • New
Condition
New
ISBN 10 / ISBN 13
9783540307044 / 3540307044
Quantity Available
1
Seller
New Delhi, India
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$46.38
$5.00 shipping to USA

Show Details

Description:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Item Price
$46.38
$5.00 shipping to USA
The Seventeen Provers of the World
Stock Photo: Cover May Be Different

The Seventeen Provers of the World

  • Used
Condition
Used
ISBN 10 / ISBN 13
9783540307044 / 3540307044
Quantity Available
1
Seller
Woodside, New York, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$50.40
$3.99 shipping to USA

Show Details

Description:
Springer , pp. 182 . Papeback. Used.
Item Price
$50.40
$3.99 shipping to USA
The Seventeen Provers of the World: Foreword by Dana S. Scott
Stock Photo: Cover May Be Different

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

by Freek Wiedijk

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540307044 / 3540307044
Quantity Available
10
Seller
Southport, Merseyside, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$67.36
$12.60 shipping to USA

Show Details

Description:
Paperback / softback. New. 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.
Item Price
$67.36
$12.60 shipping to USA
THE SEVENTEEN PROVERS OF THE WORLD
Stock Photo: Cover May Be Different

THE SEVENTEEN PROVERS OF THE WORLD

by WIEDIJK, FREEK ,

  • New
  • Paperback
  • first
Condition
New
Edition
1st
Binding
Paperback
ISBN 10 / ISBN 13
9783540307044 / 3540307044
Quantity Available
3
Seller
New Delhi, India
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$63.00
$10.00 shipping to USA

Show Details

Description:
Springer, 2006. 1st. Paperback. New/New.
Item Price
$63.00
$10.00 shipping to USA
The Seventeen Provers of the World: Foreword by Dana S. Scott (Lecture Notes in Computer Science,...
Stock Photo: Cover May Be Different

The Seventeen Provers of the World: Foreword by Dana S. Scott (Lecture Notes in Computer Science, 3600)

by Wiedijk, Freek [Editor]

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540307044 / 3540307044
Quantity Available
5
Seller
campbelltown, Florida, United States
Seller rating:
This seller has earned a 2 of 5 Stars rating from Biblio customers.
Item Price
$78.00
$15.00 shipping to USA

Show Details

Description:
Springer. paperback. New. 6x0x9. Brand New Book in Publishers original Sealing
Item Price
$78.00
$15.00 shipping to USA
The Seventeen Provers of the World: Foreword by Dana S. Scott (Lecture Notes in Computer Science,...
Stock Photo: Cover May Be Different

The Seventeen Provers of the World: Foreword by Dana S. Scott (Lecture Notes in Computer Science, 3600)

by Wiedijk, Freek [Editor]

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540307044 / 3540307044
Quantity Available
1
Seller
San Diego, California, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$108.63
$5.45 shipping to USA

Show Details

Description:
Springer, 2006-02-03. Paperback. New. New. In shrink wrap. Looks like an interesting title!
Item Price
$108.63
$5.45 shipping to USA