From absolute to affine geometry in terms of point-reections, midpoints, and collinearity

DOI10.1285/i15900932v36n1p11zbMath1414.51002OpenAlexW2339487660MaRDI QIDQ4603536

Jesse Alama, Victor V. Pambuccian

Publication date: 15 February 2018

Full work available at URL: https://asu.pure.elsevier.com/en/publications/from-absolute-to-affine-geometry-in-terms-of-point-reflections-mi

zbMATH Keywords

independenceaffine geometryaxiomscollinearityautomatic theorem provingmidpointspoint-reflections

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Software, source code, etc. for problems pertaining to geometry (51-04) Foundations of classical theories (including reverse mathematics) (03B30) Linear incidence geometric structures with parallelism (51A15) Reflection groups, reflection geometries (51F15)

Related Items (3)

The geometry of point reflections and quasigroups ⋮ Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq ⋮ Prolegomena to any theory of proof simplicity

This page was built for publication: From absolute to affine geometry in terms of point-reections, midpoints, and collinearity