Skip to main content
14 events
when toggle format what by license comment
May 20, 2019 at 19:53 history closed m_goldberg
Henrik Schumacher
Carl Lange
mikuszefski
Alex Trounev
Not suitable for this site
May 19, 2019 at 4:15 review Close votes
May 20, 2019 at 19:53
May 18, 2019 at 20:19 history edited Szabolcs
edited tags
May 18, 2019 at 20:17 comment added EGME Thank you, I was hoping you would read this
May 18, 2019 at 20:16 comment added Szabolcs Removed the igraphm tag. IGraph/M has functionality to compute minimum vertex colourings, but not to prove the four colour theorem.
May 18, 2019 at 20:15 history edited Szabolcs
edited tags
May 18, 2019 at 19:46 comment added EGME I have added the best link I could think of. That link has links to the mathematical papers and the software repository, although take note that the university where this is hosted is redesigning its web pages, so some of the links in this page which I accessed 2019.may.18 at 22.42 might already be broken ... this one is still there.
May 18, 2019 at 19:44 history edited EGME CC BY-SA 4.0
added 231 characters in body
May 18, 2019 at 19:33 comment added Roman Maybe you could add some DOI links to the relevant papers and Wikipedia articles? Otherwise everybody has to look them up again.
May 18, 2019 at 19:29 comment added EGME Thank you, I have edited the question.
May 18, 2019 at 19:28 history edited EGME CC BY-SA 4.0
added 393 characters in body
May 18, 2019 at 19:16 comment added C. E. Welcome to Mathematica Stack Exchange. Please make the question self-contained as most people here may not know about the proof you are referring to.
May 18, 2019 at 19:15 review First posts
May 19, 2019 at 3:58
May 18, 2019 at 19:11 history asked EGME CC BY-SA 4.0