Last updated on: 2021-08-04.

Under Development

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

Computable Euclid

Polygons

This page contains a collection of propositions from throughout Euclid’s Elements which feature various polygons such as regular polygons, quadrilaterals, pentagons and hexagons. They cover constructions, proofs about similarity and various other relationships between polygons.