Discovering geometric theorems from scanned and photographed images of diagrams

DOI10.1007/978-3-319-21362-0_10zbMATH Open1434.68645OpenAlexW2243950418MaRDI QIDQ3452283FDOQ3452283

Authors 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)

Recommendations

• Automated generation of geometric theorems from images of diagrams
• Retrieving geometric information from images: the case of hand-drawn diagrams
• Diagrammatic Representation and Inference
• Searching for geometric theorems using features retrieved from diagrams
• Automatic discovery of theorems in elementary geometry

Cites work

• scientific article; zbMATH DE number 1961548 (Why is no real title available?)
• A New Randomized Algorithm for Detecting Lines
• An efficient randomized algorithm for detecting circles
• Automated generation of geometric theorems from images of diagrams
• Mathematics by machine
• Representation and automated transformation of geometric statements
• Use of the Hough transformation to detect lines and curves in pictures

Cited in

(5)

• Retrieving geometric information from images: the case of hand-drawn diagrams
• scientific article; zbMATH DE number 6611031 (Why is no real title available?)
• Diagrammatic Representation and Inference
• Automated generation of geometric theorems from images of diagrams
• Searching for geometric theorems using features retrieved from diagrams

Describes a project that uses

Uses Software

• Maple
• GEOTHER 1.1
• OpenCV
• SIFT
• Tesseract

This page was built for publication: Discovering geometric theorems from scanned and photographed images of diagrams

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3452283)