Last updated on: 2021-08-04.

Under Development

A collection of classical geometry in computable formats along with code and diagrams.

Computable Euclid

Euclid Book 4

Book 4 concerns constructions inside and outside of a circle. Propositions 2-5 are △ in ◯, △ around ◯, ◯ in △ and ◯ around △. Later constructions handle polygons with 4, 5, 6, and 15 sides.