- Wolfram MathWorld entry on Kepler conjecture is really outdated, claiming "Unfortunately, Hales expects the project is likely to take 20 person-years of labor" http://mathworld.wolfram.com/keplerconjecture.html 3 comments math
Linking pages
- The Story of Spikey—Stephen Wolfram Writings https://blog.stephenwolfram.com/2018/12/the-story-of-spikey/ 14 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
- Type Theory: A Modern Computable Paradigm for Math | Science4All http://www.science4all.org/le-nguyen-hoang/type-theory/ 5 comments
- Type Theory: A Modern Computable Paradigm for Math | Science4All http://www.science4all.org/article/type-theory/ 0 comments
- The Story of Spikey—Stephen Wolfram Writings https://writings.stephenwolfram.com/2018/12/the-story-of-spikey/ 0 comments