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 resource:

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

Retrieve the default content:

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

Analysis

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

Source Metadata

Data Downloads

Publisher Information