https://hal.inria.fr/hal-01646878Song, DanDanSongSchool of Mathematics and Systems Science - BUAA - Beihang UniversityWang, DongmingDongmingWangSchool of Mathematics and Systems Science - BUAA - Beihang UniversityCNRS - Centre National de la Recherche ScientifiqueChen, XiaoyuXiaoyuChenSchool of Mathematics and Systems Science - BUAA - Beihang UniversityRetrieving geometric information from images: the case of hand-drawn diagramsHAL CCSD2017Formal specificationGeometric informationImage dataKnowledge discoveryPattern matchingShape recognition[INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC]Wang, Dongming2017-11-24 14:37:472023-02-08 17:11:032017-11-24 14:37:47enJournal articles10.1007/s10618-017-0494-11This paper addresses the problem of retrieving meaningful geometric information implied in image data. We outline a general algorithmic scheme to solve the problem in any geometric domain. The scheme, which depends on the domain, may lead to concrete algorithms when the domain is properly and formally specified. Taking plane Euclidean geometry E as an example of the domain, we show how to formally specify E and how to concretize the scheme to yield algorithms for the retrieval of meaningful geometric information in E. For images of hand-drawn diagrams in E, we present concrete algorithms to retrieve typical geometric objects and geometric relations, as well as their labels, and demonstrate the feasibility of our algorithms with experiments. An example is presented to illustrate how nontrivial geometric theorems can be generated from retrieved geometric objects and relations and thus how implied geometric knowledge may be discovered automatically from images.