Revision as of 00:58, 29 August 2015 edit Ema--or (talk \| contribs) Extended confirmed users 3,156 edits →2000s ← Previous edit		Revision as of 01:28, 29 August 2015 edit undo Ema--or (talk \| contribs) Extended confirmed users 3,156 edits m →2000s Next edit →
Line 58: * [[Kepler conjecture]] is [[proof by exhaustion\|almost all but certainly proved]] algorithmically by [[Thomas Callister Hales\|Thomas Hales]] in 1998. ==2000s== In computational group theory, God's number is shown to be 20.<ref>[https://blog.computationalcomplexity.org/2010/09/rubiks-cube-conjecture-proven-do-we.html The Rubik's Cube Conjecture PROVEN! (Do we care?)] Wednesday, September 08, 2010</ref><ref>[www.cube20.org God's Number is 20.]</ref> Mathematicians completely map the E8-group. <ref>news.mit.edu/2007/e8</ref><ref>[https://www.math.columbia.edu/~woit/wordpress/?p=534 E8 Media Blitz,]] Peter Woit.</ref><ref>[https://www.huliq.com/15695/mathematicians-map-e8 Mathematicians Map E8.] By Armine Hareyan 2007-03-20 02:21.</ref> ==2014== * Hales completes the proof of Kepler's conjecture.<ref>blog.kleinproject.org/?p=742 What is the way of packing oranges? — Kepler’s conjecture on the packing of spheresPosted on May 26, 2015 by Antoine Nectoux. Klein Project BlogConnecting mathematical worlds</ref><ref>https://code.google.com/p/flyspeck/wiki/AnnouncingCompletion AnnouncingCompletionAnnouncement of CompletionFeatured</ref><ref>https://www.newscientist.com/article/dn26041-proof-confirmed-of-400-year-old-fruit-stacking-problem/ Proof confirmed of 400-year-old fruit-stacking problem 12 August 2014

Timeline of computational mathematics: Difference between revisions