Theorem Network from Euclid's Elements

A graph of the theorems from Euclid's Elements and their logical dependencies

A version of this network originally appeared in "A New Kind of Science" (Wolfram, 2002) on page 1176.

(476 vertices, 2060 edges)

Examples

Basic Examples

Retrieve the ResourceObject:

In[1]:=
ResourceObject["Theorem Network from Euclid's Elements"]
Out[1]=

View the data:

In[2]:=
ResourceData["Theorem Network from Euclid's Elements"]
Out[2]=

Analysis

Find the 10 most commonly used theorems:

In[3]:=
Reverse[Sort[
   Counts[Last /@ 
     EdgeList@
      ResourceData["Theorem Network from Euclid's Elements"]]]][[;; 
  10]]
Out[3]=

Wolfram Research, "Theorem Network from Euclid's Elements" from the Wolfram Data Repository. (2017) https://doi.org/10.24097/wolfram.61787.data

License Information

CC BY-SA 4.0

Source Metadata

Data Downloads