A Method for the Automated Discovery of Angle Theorems

Autor:	Todd, Philip
Rok vydání:	2022
Předmět:	Computer Science - Symbolic Computation
Zdroj:	EPTCS 352, 2021, pp. 148-155
Druh dokumentu:	Working Paper
DOI:	10.4204/EPTCS.352.17
Popis:	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. Comment: In Proceedings ADG 2021, arXiv:2112.14770
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2201.00543 Zobrazit plný text záznamu View this record from Arxiv