Revision as of 15:29, 1 September 2014 edit Myasuda (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers 62,553 edits m →1980s: sp ← Previous edit		Revision as of 23:46, 28 August 2015 edit undo Ema--or (talk \| contribs) Extended confirmed users 3,156 edits →1990s Next edit →
Line 57: * The appearance of the first research grids using [[volunteer computing]] – [[GIMPS]] (1996), [[distributed.net]] (1997) and [[Seti@Home]] (1999). * [[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>[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> == See also ==

Timeline of computational mathematics: Difference between revisions