Last updated on: 2021-08-04.

Under Development

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

Computable Euclid

Geometric Algebra

Measuring by units leads to many surprising results in geometry. For example, connecting the midpoints of each side of a triangle to the opposing vertex gives the three medians, which meet at the triangle centroid. The centroid to a midpoint gives one length, while the distance to the vertex is exactly twice that length. An angle to a chord from a circle point is half the angle from the circle center. Hero’s formula relates the area of a triangle to the side lengths.