most citedMechanization of Incidence Projective Geometry in Higher Dimensions, a Combinatorial Approach

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.CG2022★ 2 cited

Mechanization of Incidence Projective Geometry in Higher Dimensions, a Combinatorial Approach

Pascal Schreck, Nicolas Magaud, David Braun

Several tools have been developed to enhance automation of theorem proving in the 2D plane. However, in 3D, only a few approaches have been studied, and to our knowledge, nothing h…