- How did computers solve the Four Color Theorem? http://research.microsoft.com/en-us/um/people/gonthier/4colproof.pdf 21 comments math
Linking pages
Related searches:
Search whole site: site:research.microsoft.com
Search title: Microsoft Research – Emerging Technology, Computer, and Software Research
See how to search.