𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Computer Mathematics Volume 5081 || The Four Colour Theorem: Engineering of a Formal Proof

✍ Scribed by Kapur, Deepak

Book ID
118272226
Publisher
Springer Berlin Heidelberg
Year
2008
Tongue
English
Weight
37 KB
Edition
1
Category
Article
ISBN
3540878270

No coin nor oath required. For personal study only.

✦ Synopsis

This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ASCM 2007, held in Singapore in December 2007. The 22 revised full papers and 5 revised poster papers presented together with 3 invited lectures were carefully selected during two rounds of reviewing and improvement from 65 submissions. The papers are organized in topical sections on algorithms and implementations, numerical methods and applications, cryptology, and computational logic.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] How
[Lecture Notes in Computer Science] How the World Computes Volume 7318 || A Direct Proof of Wiener’s Theorem
✍ Cooper, S. Barry; Dawar, Anuj; Löwe, Benedikt 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 192 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] Foun
[Lecture Notes in Computer Science] Foundations of Intelligent Systems Volume 5722 || On Computational Creativity, ‘Inventing’ Theorem Proofs
✍ Rauch, Jan; Raś, Zbigniew W.; Berka, Petr; Elomaa, Tapio 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 181 KB

This Book Constitutes The Refereed Proceedings Of The 18th International Symposium On Methodologies For Intelligent Systems, Ismis 2009, Held In Prague, Czech Republic, In September 2009. The 60 Revised Papers Presented Together With 4 Plenary Talks Were Carefully Reviewed And Selected From Over 111

[Lecture Notes in Computer Science] Mech
[Lecture Notes in Computer Science] Mechanizing Mathematical Reasoning Volume 2605 || Psychological Validity of Schematic Proofs
✍ Hutter, Dieter; Stephan, Werner 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 268 KB

By Presenting State-of-the-art Results In Logical Reasoning And Formal Methods In The Context Of Artificial Intelligence And Ai Applications, This Book Commemorates The 60th Birthday Of Jörg H. Siekmann. The 30 Revised Reviewed Papers Are Written By Former And Current Students And Colleagues Of Jörg