COMPUTER ASSISTED PROOFS: COMING SOON TO A THEOREM NEAR YOU By Sara Billey University of Washington March 23, 2015

First Page		Document Content
Date: 2015-03-23 00:24:54 Mathematical logic Proof theory Mathematical proof Theorem Four color theorem Pythagorean theorem Computer-assisted proof Proof Mathematics Logic Automated theorem proving		COMPUTER ASSISTED PROOFS: COMING SOON TO A THEOREM NEAR YOU By Sara Billey University of Washington March 23, 2015 Add to Reading List Source URL: www.math.washington.edu Download Document from Source Website File Size: 1,18 MB Share Document on Facebook

	inv lve a journal of mathematics How false is Kempe’s proof of the Four Color Theorem? Part II Ellen Gethner, Bopanna Kallichanda, Alexander S. Mentis, DocID: 1tdkT - View Document
	coloring triangle-free planar graphs with a precolored 9-cycle DocID: 1oWQY - View Document
	Using discharging methods For the coloring of sparse graphs M2 internship Benjamin Lévêque & Alexandre Pinlou Marthe Bonamy LIRMM, Montpellier DocID: 1mA6x - View Document
	TOWARD A LANGUAGE THEORETIC PROOF OF THE FOUR COLOR THEOREM BOBBE COOPER, ERIC ROWLAND, AND DORON ZEILBERGER Abstract. This paper considers the problem of showing that every pair of binary trees with the same number of l DocID: 1m4v6 - View Document
	Toward a language theoretic proof of the four color theorem Eric Rowland joint work with Bobbe Cooper and Doron Zeilberger Mathematics Department Tulane University, New Orleans DocID: 1kJm5 - View Document