Last updated on: 2021-08-04.

Under Development

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

Computable Euclid

Constructions

A Euclidean construction consists of starting with a set of givens, such as segment AB, then adds arcs or circles with a compass and lines or segments with a straightedge. For example, two circles of radius AB centered on A and B can find an equidistant point C. Then segments AC and BC can be drawn for an equilateral triangle construction.