自动发现角定理的方法

摘要:天真角度法用于解决仅涉及角度约束的几何问题,将几何配置表示为稀疏线性系统。具有相同基础矩阵结构的线性系统支撑了许多不同的几何定理。我们使用图论方法来定义矩阵结构的一般化形式。

作者:Philip Todd (Saltire Software, Portland, OR, USA)

论文ID:2201.00543

分类:Symbolic Computation

分类简称:cs.SC

提交时间:2022-01-04

PDF 下载: 英文版 中文版pdf翻译中