论文标题
关于在绝对和双曲几何形状中自动化三角形结构
On Automating Triangle Constructions in Absolute and Hyperbolic Geometry
论文作者
论文摘要
我们描述了迈向绝对和双曲几何形状中自动三角构造系统的第一步。我们讨论了欧几里得，绝对和双曲线几何形状中的结构之间的关键差异，编译了用于绝对和双曲线几何形状构造的原始结构和引理列表，建立一个自动化系统来解决构建问题并在三角形结构问题的语料库上对其进行测试。我们还提供包含施工描述和插图的在线纲要。
We describe first steps towards a system for automated triangle constructions in absolute and hyperbolic geometry. We discuss key differences between constructions in Euclidean, absolute and hyperbolic geometry, compile a list of primitive constructions and lemmas used for constructions in absolute and hyperbolic geometry, build an automated system for solving construction problems and test it on a corpus of triangle-construction problems. We also provide an online compendium containing construction descriptions and illustrations.
