Hacker News
- Question about the 4 Color Map Theorem https://en.m.wikipedia.org/wiki/Four_color_theorem#/media/File%3AMap_of_United_States_vivid_colors_shown.png 5 comments math
- Is there a 3D equivalent to the "Four Color Theorem"? https://en.wikipedia.org/wiki/Four_color_theorem 12 comments askscience
- Variation of the Four Color Theorem Question http://en.wikipedia.org/wiki/Four_color_theorem 7 comments math
- Four color theorem - When I learned about this as a child, I tried for days to come up with a shape that could disprove it... http://en.wikipedia.org/wiki/four_color_theorem 20 comments reddit.com
Linking pages
- SIMD Matters :: Box2D https://box2d.org/posts/2024/08/simd-matters/ 79 comments
- Introducing Cosette. Today we are thrilled to announce our… | by University of Washington Database Group | Medium https://medium.com/@uwdb/introducing-cosette-527898504bd6 68 comments
- A gentle introduction to automated reasoning - Amazon Science https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning 51 comments
- The Existential Risk of Math Errors · Gwern.net http://www.gwern.net/the%20existential%20risk%20of%20mathematical%20error 50 comments
- Mathematical surprises – David Richeson: Division by Zero http://divisbyzero.com/2010/08/18/mathematical-surprises/ 11 comments
- Four color theorem - map solver | kleemans.ch https://www.kleemans.ch/four-color-theorem-map-solver 10 comments
- Matching Many Classes to Fewer Colors | nik.bo https://nik.bo/colormatch 5 comments
- How (and Why) Software Developers Should Always Be Interview-Ready | by Omar Sharaki | Better Programming https://betterprogramming.pub/how-and-why-should-software-developers-always-be-interview-ready-a7a6b0f59823?sk=efbbf935b87587a08beb895df20ae169&source=friends_link 2 comments
- The Programmer’s Short and Practical Guide to Graph Theory | by Andre Ye | Better Programming https://betterprogramming.pub/a-short-practical-programmers-guide-to-graph-theory-bfc87bc52581 1 comment
- Four Color Theorem and Lie Algebras | Ars Mathematica http://www.arsmathematica.net/archives/2008/01/26/four-color-theorem-and-lie-algebras/ 0 comments
- Poleiro, the Coq blog - Writing reflective tactics http://poleiro.info/posts/2015-04-13-writing-reflective-tactics.html 0 comments
- The Case for Computers at Top Chess Tournaments - The New York Times http://latitude.blogs.nytimes.com/2012/06/05/the-case-for-computers-at-top-chess-tournaments/ 0 comments
- Nintil - Systematising breakthroughs https://nintil.com/innovation-thinking/ 0 comments
- What is Mathematics, really? - by Sven Schnieders https://unfashionable.substack.com/p/what-is-mathematics-really 0 comments
- “This is really the End.” : ezyang’s blog http://blog.ezyang.com/2012/09/feit-thompson-true/ 0 comments
- GitHub - coq-community/fourcolor: Formal proof of the Four Color Theorem [maintainer=@ybertot] https://github.com/math-comp/fourcolor 0 comments
- GitHub - Erfaniaa/map-coloring: Map coloring, using four colors https://github.com/Erfaniaa/map-coloring 0 comments
Related searches:
Search whole site: site:en.wikipedia.org
Search title: Four color theorem - Wikipedia
See how to search.