Examples
Basic Examples
Retrieve the basic network:
Make a layered graph plot:
Find axioms and theorems referenced by Book 1, Theorem 5:
Analysis
Count the total number of theorems + axioms:
Find the axioms:
Find the distribution of numbers of theorems referenced:
Find the 5 most referenced theorems:
Find the total number of theorems + axioms that ultimately contribute to the proof of each theorem:
Create a key of axiom + theorem number:
Make a map of what theorem references which others:
External Links
Bibliographic Citation
Wolfram Research,
"Theorem Network from Euclid's Elements"
from the Wolfram Data Repository
(2020) https://doi.org/10.24097/wolfram.61787.data
Data Resource History
Publisher Information