{"id":"arxiv/2601.17446","url":"https://arxiv.org/abs/2601.17446","tags":["math.CO","cs.CG"],"score":0,"title":"Manifold-based Proving Methods in Projective Geometry","domain":"math.CO","source":"arxiv","authors":["Michael Martin Katzenberger","Jürgen Richter-Gebert"],"reviews":0,"subject":"math.CO","summary":"This article compares different proving methods for projective incidence theorems. In particular, a technique using quadrilateral tilings recently introduced by Sergey Fomin and Pavlo Pylyavskyy is shown to be at most as strong as proofs using bi-quadratic final polynomials and thus, also proofs using Ceva-Menelaus-tilings. Furthermore, we demonstrate the equivalence between quadrilateral-tiling-proofs and proofs using exclusively Menelaus configurations. We exemplify the transition between the proofs in several examples in 2D and in 3D.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-24","reactions":{}}