Automated Geometry Theorem Generation

Philip Todd

We present a method for automatically generating new geometry theorems using angle chasing techniques. Our method transforms rank-deficient matrices to incorporate line angles and bisectors, and outputs the theorems in the form of GeometricScene. It is suitable for solutions of bisector conditions.