Copied The Seventeen Provers of the World
The Seventeen Provers of the World
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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$44.99 | $44.99 |
|
$44.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Hochhuser in Deutschland
$49.99
Modern Trends in Applied Terrestrial Ecology
$129.00
Eco-regional approaches for sustainable land use and food production
$169.00
Dilemmas in Defence Decision-Making
$54.99
March: Book Three
$14.99
Passion and Entrepreneurship
$109.99
Die Informatik AG Telekooperation
$69.99
In Search of a Pedagogy of Conflict and Dialogue for Mathematics Education
$84.99
Hirnszintigraphie
$54.99
Vehicle and Automotive Engineering 3
$219.99
Artificial Immune Systems: A New Computational Intelligence Approach
$54.99
Logic Synthesis for FSM-Based Control Units
$169.99
Platelets in Thrombotic and Non-Thrombotic Disorders
$299.00
Messung und Steuerung der Kommunikations-Effizienz
$74.99
Rethinking Corporate Sustainability in the Era of Climate Crisis
$59.99
Bautechnische Berechnungstafeln fr Ingenieure
$39.99
Third Asian-Pacific Regional Meeting of the International Astronomical Union
$109.99
Eat Your Rocks, Croc!: Dr. Glider's Advice for Troubled Animals (Hardcover)
$13.49
Articulatory Speech Synthesis from the Fluid Dynamics of the Vocal Apparatus
$29.99
Mental and Behavioral Dysfunction in Movement Disorders
$169.99
Optimaler Verbundbetrieb in der elektrischen Energieversorgung
$69.99
My First I Can Read! - Little Critter: Just Pick Us, Please!
$4.46
Psychosocial Factors at Work in the Asia Pacific
$84.99
The Chinese Zodiac- And Other Paths to Luck, Riches Prosperity by Aaron Hwang
$19.00
A Primer in Tensor Analysis and Relativity
$39.99
Genetic Neuromuscular Disorders
$59.99
The Biodiversity of African Plants
$329.99
Inclusive Leadership
$49.99
Urban Change in Iran
$109.99
Intelligent Systems and Applications
$199.99
Acute Neuro Care
$69.99
Dialogue Games
$169.99
Schliessende Statistik
$64.99
Neutron Radiography (3)
$329.99
Business Engineering. Proze- und Systementwicklung
$74.99
International Environmental soft law
$109.99
Surfing the Global Tide
$39.99
Evolutionary Algorithms and Agricultural Systems
$169.00
Ideals and Reality
$109.99
Untersuchung ber die gegenseitige Beeinflussung der Geschwindigkeit und des Kurshaltens beim berho
$54.99
