✦ LIBER ✦

[Lecture Notes in Computer Science] The Seventeen Provers of the World Volume 3600 || Coq

✍ Scribed by Wiedijk, Freek

Book ID: 118272203
Publisher: Springer Berlin Heidelberg
Year: 2006
Weight: 92 KB
Category: Article
ISBN: 3540328882
DOI: 10.1007/11542384_6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] The

[Lecture Notes in Computer Science] The Seventeen Provers of the World Volume 3600 || Ωmega

✍ Wiedijk, Freek 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 163 KB

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

[Lecture Notes in Computer Science] How

[Lecture Notes in Computer Science] How the World Computes Volume 7318 || Randomness, Computation and Mathematics

✍ Cooper, S. Barry; Dawar, Anuj; Löwe, Benedikt 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 302 KB

This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Conference on Computability in Europe, CiE 2012, held in Cambridge, UK, in June 2012. The 53 revised papers presented together with 6 invited lectures were carefully reviewed and selected with an acceptance

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Interactive Theorem Proving Volume 7406 || Construction of Real Algebraic Numbers in Coq

✍ Beringer, Lennart; Felty, Amy 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 276 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computation and Logic in the Real World Volume 4497 || Liquid Computing

✍ Cooper, S. Barry; Löwe, Benedikt; Sorbi, Andrea 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg ⚖ 534 KB

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 7961 || Mathematics and the World Wide Web

✍ Carette, Jacques; Aspinall, David; Lange, Christoph; Sojka, Petr; Windsteiger, W 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 396 KB

This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part of CICM 2013, the Con

[Lecture Notes in Computer Science] How

[Lecture Notes in Computer Science] How the World Computes Volume 7318 || Multi-valued Functions in Computability Theory

✍ Cooper, S. Barry; Dawar, Anuj; Löwe, Benedikt 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 186 KB