高维关联射影几何的机械化：一种组合方法
计算几何
2022-01-04 v1 数学软件
符号计算
摘要
已有若干工具被开发用于增强二维平面中定理证明的自动化。然而在三维中，仅研究了少数方法，且据我们所知，更高维尚未有工作。在本文中，我们给出维度3、4、5下关联几何定理的若干实例。随后借助基于拟阵理论应用于几何的组合证明器对它们进行证明。
引用
@article{arxiv.2201.00539,
title = {Mechanization of Incidence Projective Geometry in Higher Dimensions, a Combinatorial Approach},
author = {Pascal Schreck and Nicolas Magaud and David Braun},
journal= {arXiv preprint arXiv:2201.00539},
year = {2022}
}
备注
In Proceedings ADG 2021, arXiv:2112.14770