Searching for geometric theorems using features retrieved from diagrams

DOI10.1007/978-3-319-32859-1_33zbMATH Open1460.68129OpenAlexW2467518180MaRDI QIDQ2807857FDOQ2807857

Authors: Wenya An, Dongming Wang, Xiao-Yu Chen 

Publication date: 25 May 2016

Published in: Mathematical Aspects of Computer and Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-32859-1_33

Recommendations

• Automated generation of geometric theorems from images of diagrams
• Discovering geometric theorems from scanned and photographed images of diagrams
• Retrieving geometric information from images: the case of hand-drawn diagrams
• scientific article; zbMATH DE number 6611031
• Retrieval of plane geometry resource database based on dynamic geometry

zbMATH Keywords

graph matchingknowledge managementdegree of relevancetheorem searching

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Elementary problems in Euclidean geometries (51M04) Mathematical knowledge management (68V30)

Cited In (5)

• Title not available (Why is that?)
• Retrieving geometric information from images: the case of hand-drawn diagrams
• Discovering geometric theorems from scanned and photographed images of diagrams
• Automated generation of geometric theorems from images of diagrams
• Retrieval of plane geometry resource database based on dynamic geometry

Uses Software

• Opengeo

This page was built for publication: Searching for geometric theorems using features retrieved from diagrams

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