论文标题
在更高维度（组合方法）中，发射率的射击几何形状机械化
Mechanization of Incidence Projective Geometry in Higher Dimensions, a Combinatorial Approach
论文作者
论文摘要
已经开发了几种工具来增强2D平面中定理的自动化。但是，在3D中，仅研究了几种方法，据我们所知，在更高的维度上没有做任何事情。在本文中，我们在维度3、4和5中介绍了一些入射率几何定理的例子。
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 has been done in higher dimensions. In this paper, we present a few examples of incidence geometry theorems in dimensions 3, 4, and 5. We then prove them with the help of a combinatorial prover based on matroid theory applied to geometry.
