Manifold-based Proving Methods in Projective Geometry. - Michael Martin Katzenberger; Jürgen Richter-Gebert (CoRR, 2026)