Wolfram Research

Structure of Euclid's Elements

Source Notebook

Textual information of definitions, common notions, postulates, and theorems from Euclid’s Elements

Details

Includes English and Greek text of statements with word count for definitions, common notions, postulates and theorems, with English and Greek text and reference of proofs for theorems.

Examples

Basic Examples

Find all information of Book 1, Theorem 20:

In[1]:=
ResourceData[
ResourceObject["Structure of Euclid's Elements"]][<|"Book" -> 1, "Theorem" -> 20|>]
Out[1]=

Find specific information of Book 1, Theorem 20:

In[2]:=
ResourceData[
ResourceObject["Structure of Euclid's Elements"]][<|"Book" -> 1, "Theorem" -> 20|>]["References"]
Out[2]=

Analysis

Find the axioms:

In[3]:=
Select[Keys[ResourceData[
ResourceObject["Structure of Euclid's Elements"]]], Length[#] < 2 &]
Out[3]=

Find the definitions of Book 3:

In[4]:=
Select[Keys[ResourceData[
ResourceObject["Structure of Euclid's Elements"]]], Length[#] == 2 && Values[#][[1]] == 3 && StringMatchQ[Keys[#][[2]], "Definition"] &]
Out[4]=

Find the theorems of Book 4:

In[5]:=
Select[Keys[ResourceData[
ResourceObject["Structure of Euclid's Elements"]]], Length[#] == 2 && Values[#][[1]] == 4 && StringMatchQ[Keys[#][[2]], "Theorem"] &]
Out[5]=

Count the total number of theorems:

In[6]:=
Select[Keys[ResourceData[
ResourceObject["Structure of Euclid's Elements"]]], Length[#] == 2 && StringMatchQ[Keys[#][[2]], "Theorem"] &] // Length
Out[6]=

Wolfram Research, "Structure of Euclid's Elements" from the Wolfram Data Repository (2020) 

Data Resource History

Source Metadata

See Also

Data Downloads

Publisher Information