Retrieving geometric information from images: the case of hand-drawn diagrams
type: Item
instance of: scholarly article
title: Retrieving geometric information from images: the case of hand-drawn diagrams
zbMATH Open document ID: 1411.68135
author: Dan Song
author: Dongming Wang
author: Xiao-Yu Chen
published in: Data Mining and Knowledge Discovery
publication date: 2019-05-03T00:00:00Z
Mathematics Subject Classification ID: 68T10
Mathematics Subject Classification ID: 62H35
zbMATH DE Number: 7050522
zbMATH Keywords: formal specification
zbMATH Keywords: geometric information
zbMATH Keywords: image data
zbMATH Keywords: knowledge discovery
zbMATH Keywords: pattern matching
zbMATH Keywords: shape recognition
cites work: Tesseract
cites work: Searching for Geometric Theorems Using Features Retrieved from Diagrams
cites work: Q4846468
cites work: Generalizing the Hough transform to detect arbitrary shapes
cites work: A Constraint Satisfaction Framework for Executing Perceptions and Actions in Diagrammatic Reasoning
cites work: OTTER Proofs in Tarskian Geometry
cites work: Q3714165
cites work: A New Randomized Algorithm for Detecting Lines
cites work: An efficient randomized algorithm for detecting circles
cites work: Formalization and specification of geometric knowledge objects
cites work: Representation and automated transformation of geometric statements
cites work: Automated generation of geometric theorems from images of diagrams
cites work: Machine Proofs in Geometry
cites work: Automated reasoning in geometry
cites work: Qualitative spatial representation and reasoning: An overview
cites work: Q4531863
cites work: Use of the Hough transformation to detect lines and curves in pictures
cites work: Q3185644
cites work: Q5431481
cites work: Q5302559
cites work: Problems and Experiments for and with Automated Theorem-Proving Programs
cites work: Q4032144
cites work: Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams
cites work: Elimination methods
cites work: Q4418135
cites work: Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
describes a project that uses: Tesseract
describes a project that uses: GeoGebra
describes a project that uses: Tahuti
describes a project that uses: kepler98
describes a project that uses: OTTER
MaRDI profile type: Publication
full work available at URL: s10618-017-0494-1
OpenAlex ID: W2592892192
DOI: 10.1007/S10618-017-0494-1
description: scientific article; zbMATH DE number 7050522