✦ LIBER ✦

Computers, Proofs and Mathematicians: A Philosophical Investigation of the Four-Color Proof

✍ Scribed by Thomas Tymoczko

Book ID: 121201557
Publisher: Mathematical Association of America
Year: 1980
Tongue: English
Weight: 912 KB
Volume: 53
Category: Article
ISSN: 0025-570X
DOI: 10.2307/2690104

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Toward a language theoretic proof of the

Toward a language theoretic proof of the four color theorem

✍ Bobbe Cooper; Eric Rowland; Doron Zeilberger 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 388 KB

Towards a brief proof of the Four-Color

Towards a brief proof of the Four-Color Theorem without using a computer: theorems to be used for proving the Four-Color Theorem

✍ Koji Ohnishi 📂 Article 📅 2009 🏛 Springer Japan 🌐 English ⚖ 519 KB

Four-dimensional computed tomographic im

Four-dimensional computed tomographic imaging in the wrist: proof of feasibility in a cadaveric model

✍ Shian-Chao Tay; Andrew N. Primak; Joel G. Fletcher; Bernhard Schmidt; Kimberly K 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 342 KB

[Lecture Notes in Computer Science] Comp

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

✍ Kapur, Deepak 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 37 KB

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 tw

A Companion to Philosophical Logic || Th

A Companion to Philosophical Logic || The Automation of Sound Reasoning and Successful Proof Finding

✍ Jacquette, Dale 📂 Article 📅 2006 🏛 Blackwell Publishing Ltd 🌐 English ⚖ 97 KB 👁 2 views

Edited By Dale Jacquette. Includes Bibliographical References And Index.

A computational attack on the conjecture

A computational attack on the conjectures of Graffiti: New counterexamples and proofs

✍ Tony L. Brewster; Michael J. Dinneen; Vance Faber 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 788 KB

Graffiti is a computer program that checks for relationships among certain graph invariants. It uses a database of graphs and has generated well over 700 conjectures. Having obtained a readily available computer tape of all the nonisomorphic graphs with 10 or fewer vertices, we have tested approxima