Discovering geometric theorems from scanned and photographed images of diagrams

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

Dan Song, Xiao-Yu Chen, Dongming Wang

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

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

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)

Cites Work

• Use of the Hough transformation to detect lines and curves in pictures
• A New Randomized Algorithm for Detecting Lines
• An efficient randomized algorithm for detecting circles
• Representation and automated transformation of geometric statements
• Automated generation of geometric theorems from images of diagrams
• Title not available (Why is that?)
• Mathematics by machine

Cited In (3)

• Title not available (Why is that?)
• Retrieving geometric information from images: the case of hand-drawn diagrams
• Diagrammatic Representation and Inference

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)