Automated Generation of Geometric Theorems from Images of Diagrams

Xiaoyu Chen, Dan Song, Dongming Wang

We propose an approach to generate geometric theorems from electronic images of diagrams automatically. The approach makes use of techniques of Hough transform to recognize geometr…