Elements
Euclid's Elements, one page per proposition, every citation a link. Open the
graph view and you are looking at the dependency graph of the whole work:
465 propositions across 13 books, and the 59 proofs that lean on X.11.
Text: Thomas Heath's 1908 translation, from the Perseus Digital Library, under CC-BY-SA 4.0. Heath's commentary is not included.
Book | Propositions | Definitions | Postulates | Common notions |
|---|---|---|---|---|
I | 48 | 23 | 5 | 5 |
II | 14 | 2 | ||
III | 37 | 11 | ||
IV | 16 | 7 | ||
V | 25 | 18 | ||
VI | 33 | 5 | ||
VII | 39 | 22 | ||
VIII | 27 | |||
IX | 36 | |||
X | 115 | 16 | ||
XI | 39 | 28 | ||
XII | 18 | |||
XIII | 18 | |||
Total | 465 | 132 | 5 | 5 |
Most used
X.11: 59 proofs
VI.1: 52 proofs
I.4: 39 proofs
V.11: 39 proofs
X.13: 33 proofs
X.6: 31 proofs
X.73: 28 proofs
X.22: 27 proofs
I.31: 24 proofs
I.34: 24 proofs
How it was made
node scripts/euclid.mjs reads Perseus' TEI, drops Heath's notes and the
empty figure placeholders, and writes this folder: one page per proposition
with its enunciation and its proof. A page states facts and counts nothing:
who cites a proposition is a backlink, and Propositions.base computes
uses, used by and the citation counts over the vault itself.