A Method for the Automated Discovery of Angle Theorems

Philip Todd

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. Li…