Wolfram Computation Meets Knowledge

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.

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

Data Resource History

Source Metadata

Data Downloads

Publisher Information