Last updated on: 2021-08-04.

Under Development

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

Computable Euclid

Triangles

Early mathematicians found many surprising triangle facts, such as how the altitudes, medians, angle bisectors and perpendicular bisectors each meet at a single point. In geometric proofs, SSS and SAS are two of the most powerful tools in the toolbox.