[an error occurred while processing this directive] [an error occurred while processing this directive]

Wolfram Data Repository

Immediate Computable Access to Curated Contributed Data

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

  • Publisher of Record: Wolfram Research
[an error occurred while processing this directive] [an error occurred while processing this directive]