| Document Date: 2008-11-20 13:33:05
Open Document File Size: 2,58 MBShare Result on Facebook
City Cambridge / / Company Microsoft / / Country Jordan / / / Event Product Issues / / IndustryTerm e-cycle / combinatorial search / computing / satisfactory solution / possible solution / search structure / e-cycles / / Organization pentagon / Royal Society / / Person Nat / Augustus de Morgan / Henri Poincaré / Curry / Alfred Kempe / Georges Gonthier / Benjamin Werner / Howard / Francis Guthrie / / Position MP / senior researcher / professor / assistant / mathematician / programmer / senior researcher at Research Cambridge / / Product 1879 proof / / Technology simulation / /
SocialTag |
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