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"]](images/0ad/0addd8b3-3042-46dd-a995-58b1dcab80b1-io-1-i.en.gif "Copy to Clipboard"){kind=small} |
| Out[1]= |  |
Retrieve the default content:
| In[2]:= | ![ResourceData["Theorem Network from Euclid's Elements"]](images/0ad/0addd8b3-3042-46dd-a995-58b1dcab80b1-io-2-i.en.gif "Copy to Clipboard"){kind=small} |
| Out[2]= |  |
Analysis
| In[3]:= | ![Reverse[Sort[
Counts[Last /@
EdgeList@
ResourceData["Theorem Network from Euclid's Elements"]]]][[;;
10]]](images/0ad/0addd8b3-3042-46dd-a995-58b1dcab80b1-io-3-i.en.gif "Copy to Clipboard"){kind=small} |
| Out[3]= |  |
External Links
Bibliographic Citation
Wolfram Research, "Theorem Network from Euclid's Elements" from the Wolfram Data Repository. (2017) https://doi.org/10.24097/wolfram.61787.data
License Information
Copyright 2002, Stephen Wolfram, LLC