Retrieving geometric information from images: the case of hand-drawn diagrams

DOI10.1007/s10618-017-0494-1zbMath1411.68135OpenAlexW2592892192MaRDI QIDQ1741163

Dongming Wang, Dan Song, Xiao-yu Chen

Publication date: 3 May 2019

Published in: Data Mining and Knowledge Discovery (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10618-017-0494-1

zbMATH Keywords

formal specificationpattern matchingshape recognitionknowledge discoveryimage datageometric information

Mathematics Subject Classification ID

Image analysis in multivariate analysis (62H35) Pattern recognition, speech recognition (68T10)

Related Items

On the mechanization of straightedge and compass constructions, A mechanical geometer

Uses Software

• OTTER
• GeoGebra
• Tahuti
• kepler98
• Tesseract

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Tesseract
• Representation and automated transformation of geometric statements
• Elimination methods
• Generalizing the Hough transform to detect arbitrary shapes
• Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
• Formalization and specification of geometric knowledge objects
• Automated generation of geometric theorems from images of diagrams
• An Efficient Randomized Algorithm for Detecting Circles
• Searching for Geometric Theorems Using Features Retrieved from Diagrams
• Use of the Hough transformation to detect lines and curves in pictures
• A Constraint Satisfaction Framework for Executing Perceptions and Actions in Diagrammatic Reasoning
• OTTER Proofs in Tarskian Geometry
• Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams
• Problems and Experiments for and with Automated Theorem-Proving Programs
• A New Randomized Algorithm for Detecting Lines
• Machine Proofs in Geometry