Colouring Graphs Back in May 2018, I wrote about a recent mathematical breakthrough in the field of colouring – known as chromaticity of the plane. The notion of colouring is part of many areas of mathematics and … 13. Jan 2021 | By Katie Steckles | 0 comments
Automatizing proofs from Aristotle to the 21st century While (or because?) both in general laureate attendance and number of lectures, computer science certainly has greater volume than mathematics at this year’s Heidelberg Laureate Forum, it was interesting to see that there were quite … 27. Aug 2015 | By Markus Pössel | 0 comments