2014/06/06 by Xiaoyu Chen, Dan Song, Chen, Xiaoyu +3 · 1 citation
Computer Science · #68T10 #68T15 #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Image Processing and 3D Reconstruction #Image and Object Detection Techniques #Mathematics, Computing, and Information Processing
paper · pdf · doi:10.48550/arxiv.1406.1638
openalex publication_date 2014/06/06 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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 geometric objects and their labels and of numeric verification to mine basic geometric relations. Candidate propositions are generated from the retrieved information by using six strategies and geometric theorems are obtained from the candidates via algebraic computation. Experiments with a preliminary implementation illustrate the effectiveness and efficiency of the proposed approach for generating nontrivial theorems from images of diagrams. This work demonstrates the feasibility of automated discovery of profound geometric knowledge from simple image data and has potential applications in geometric knowledge management and education.