Formal Proof—The FourColor Theorem Georges Gonthier The Tale of a Brainteaser Francis Guthrie certainly did it, when he coined his innocent little coloring puzzle inHe managed to embarrass successively his mathe

First Page		Document Content
Date: 2008-11-20 13:33:05		Formal Proof—The FourColor Theorem Georges Gonthier The Tale of a Brainteaser Francis Guthrie certainly did it, when he coined his innocent little coloring puzzle inHe managed to embarrass successively his mathe Add to Reading List Source URL: www.ams.org Download Document from Source Website File Size: 2,58 MB Share Document on Facebook