Wolfram Data Repository

Immediate Computable Access to Curated Contributed Data

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

  • Date Created:

Source Metadata

  • Citation:
    • Euclid, and Thomas Heath. The Thirteen Books of Euclid’s Elements. New York: Dover Publ., 1956.
    • Euclid, and J. L. Heiberg. Euclidis Elementa. Lipsiae: In aedibus B.G. Teubneri, 1883 - 1885.

See Also

Data Downloads

Publisher Information

  • Prepared for the Wolfram Data Repository By: Xiaofan Zhang
  • Publisher of Record: Wolfram Research