论文标题
一种自动发现角度定理的方法
A Method for the Automated Discovery of Angle Theorems
论文作者
论文摘要
几何表达式用于求解仅涉及角度约束的问题的幼稚角度方法代表了作为稀疏线性系统的几何配置。 具有相同基础矩阵结构的线性系统是许多不同的几何定理。 我们使用图理论方法来定义矩阵结构的概括。
The Naive Angle Method, used by Geometry Expressions for solving problems which involve only angle constraints, represents a geometrical configuration as a sparse linear system. Linear systems with the same underlying matrix structure underpin a number of different geometrical theorems. We use a graph theoretical approach to define a generalization of the matrix structure.
