Manifold-based Proving Methods in Projective Geometry

Michael Martin Katzenberger, Jürgen Richter-Gebert

This article compares different proving methods for projective incidence theorems. In particular, a technique using quadrilateral tilings recently introduced by Sergey Fomin and Pa…