Contribute¶
Collaborating on Symbolic Constructions, Codices & Proofs
GEOMETOR welcomes thoughtful contributions from geometers, historians of mathematics and philosophy, classicists, botanists, and Python developers.
Ways to Contribute¶
Symbolic Constructions & Invariant Proofs Contribute new compass-and-straightedge constructions, golden section discoveries, projective configurations, or triangle center scripts in model, divine, elements, etc, pappus, or wildberger.
Scholarly Text & Translation Refinement Report diplomatic transcription errata, folio alignment notes, :g: diagram bindings, or commentary improvements across our primary Book Codices (euclid, proclus, aristotle, aquinas, pacioli, hilbert, bertrand-russell, hoenen, altshiller-court).
Core Engineering Principles - Exact Symbolic Algebra: Use exact
SymPyexpressions (sp.Rational, sp.sqrt, algebraic roots) rather than floating-point approximations for geometric truth tests. - Clean Python 3.13 & ``uv``: Format and lint withruffand includepytestverification for algebraic assertions.
To start a conversation or propose an idea before opening a pull request, visit GEOMETOR GitHub Discussions.