- Formal proof of Kepler conjecture (Project Flyspeck) complete https://code.google.com/p/flyspeck/wiki/announcingcompletion 15 comments math
Linking pages
- Proof confirmed of 400-year-old fruit-stacking problem | New Scientist http://www.newscientist.com/article/dn26041-proof-confirmed-of-400yearold-fruitstacking-problem.html 31 comments
- Biggest Little Polyhedron—New Solutions in Combinatorial Geometry—Wolfram Blog http://blog.wolfram.com/2015/05/20/biggest-little-polyhedronnew-solutions-in-combinatorial-geometry/ 6 comments
Related searches:
Search whole site: site:code.google.com
Search title: Google Code Archive - Long-term storage for Google Code Project Hosting.
See how to search.