Mission & Architectural Principles

Uniting Archival Folio Fidelity with 100% Exact Symbolic Algebra

geometor-feuerbach bridges the Digital Scriptorium and constructive symbolic engine pillars of GEOMETOR:

1. Multimodal Folio Verification Over OCR: Every Latin formula in Leonhard Euler’s 1767 Novi Commentarii printing (E325, pp. 103–123, Tab. II) and every German proposition in Karl Wilhelm Feuerbach’s 1822 Nuremberg monograph (pp. I–XVI, 1–62, Tab. I–II) was transcribed and checked directly against high-resolution archival scans—recovering both Euler’s 1767 St. Petersburg typesetting errata (§ 7 bc pro 6c; § 12 = pro -) and Feuerbach’s 1822 sign-substitution slip in § 51 (\(+2\rho R\) pro \(-2\rho R\) in \(\overline{OS^{(k)}}^2\)).

2. Zero-Float Symbolic Verification: Every center, circle, and tangency point is constructed over exact sympy rationals on A = (0, 0), B = (14, 0), C = (5, 12) using Model(..., auto_intersect=False) and closed-form radical-axis intersections.

3. Ecosystem Integration: Cross-references cevian concurrency (Ceva 1678), projective collinearity (Menelaus), Euclidean foundations (Euclid), modern college geometry (Altshiller-Court), and Kimberling's ETC.