A geometric identity for Pappus' theorem.
From MaRDI portal
Publication:4292176
DOI10.1073/pnas.91.8.2909zbMath0802.15017arXivmath/9409216OpenAlexW2032707978WikidataQ35143215 ScholiaQ35143215MaRDI QIDQ4292176
No author found.
Publication date: 27 November 1994
Published in: Proceedings of the National Academy of Sciences (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/9409216
Related Items (5)
Arguesian identities in the congruence variety of Abelian groups ⋮ A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry ⋮ Graphical operations on projective spaces ⋮ Geometric identities in lattice theory ⋮ Arguesian identities in linear lattices
This page was built for publication: A geometric identity for Pappus' theorem.
