A Method for the Automated Discovery of Angle Theorems
Symbolic Computation
2022-01-04 v1
Abstract
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.
Cite
@article{arxiv.2201.00543,
title = {A Method for the Automated Discovery of Angle Theorems},
author = {Philip Todd},
journal= {arXiv preprint arXiv:2201.00543},
year = {2022}
}
Comments
In Proceedings ADG 2021, arXiv:2112.14770