Searching for geometric theorems using features retrieved from diagrams

DOI10.1007/978-3-319-32859-1_33MaRDI QIDQ2807857zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(5)

• scientific article; zbMATH DE number 6611031 (Why is no real title available?)
• 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

Describes a project that uses

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)