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 matheAdd to Reading ListSource URL: www.ams.orgDownload Document from Source WebsiteFile Size: 2,58 MBShare Document on Facebook |