Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams

DOI10.1007/978-3-319-21362-0_10zbMath1434.68645OpenAlexW2243950418MaRDI QIDQ3452283

Dan Song, Dongming Wang, Xiao-yu Chen

Publication date: 11 November 2015

Published in: Automated Deduction in Geometry (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-21362-0_10

zbMATH Keywords

pattern matchingshape recognitiongeometric knowledge managementtheorem discovery

Mathematics Subject Classification ID

Pattern recognition, speech recognition (68T10) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Mathematical knowledge management (68V30)

Related Items

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

Uses Software

• Maple
• GEOTHER 1.1
• OpenCV
• SIFT
• Tesseract

Cites Work

• Representation and automated transformation of geometric statements
• Automated generation of geometric theorems from images of diagrams
• An Efficient Randomized Algorithm for Detecting Circles
• Use of the Hough transformation to detect lines and curves in pictures
• Mathematics by machine
• A New Randomized Algorithm for Detecting Lines
• Unnamed Item