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

  1. 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.

  2. 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).

  3. Core Engineering Principles - Exact Symbolic Algebra: Use exact SymPy expressions (sp.Rational, sp.sqrt, algebraic roots) rather than floating-point approximations for geometric truth tests. - Clean Python 3.13 & ``uv``: Format and lint with ruff and include pytest verification for algebraic assertions.

To start a conversation or propose an idea before opening a pull request, visit GEOMETOR GitHub Discussions.