A graph of Euclid's Elements, book I. The propositions in blue. The Postulates in yellow. An edge means that a statement has been used in the proof of the proposition above. This was one of the slides in my public lecture for the "Tag der Mathematik" at Heidelberg University.
Data from: https://writings.stephenwolfram.com/2020/09/the-empirical-metamathematics-of-euclid-and-beyond/
#Euklid, #WolframMathematica #Postulates #Elements #Geometry

