Euclid's Elements as software that runs: every proposition draws its own figure, checks its own conclusion in exact arithmetic, and reports what it depended on.
python geometry euclid mathematics computational-geometry no-dependencies number-theory symbolic-computation proof-checking euclidean-geometry exact-arithmetic history-of-mathematics straightedge-and-compass constructible-numbers greek-mathematics
-
Updated
Sep 5, 2026 - Python