Geometry knowledge base learning from theorem proofs

DOI10.1007/978-3-642-54930-4_3MaRDI QIDQ2940960zbMATHOpenAlexFDO

Authors Hongguang Fu, Xiuqin Zhong, Qunan Li, Huadong Xia, Jie Li

Publication date 21 January 2015

Published in Advances in Intelligent Systems and Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-54930-4_3

zbMATH Keywords

knowledge baseautomated theorem provingabstract modelprocess ontologyinstance model

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Knowledge representation (68T30)

Recommendations

• Towards an Electronic Geometry Textbook
• Opengeo: an open geometric knowledge base
• Automated deduction and knowledge management in geometry
• A deductive database approach to automated geometry theorem proving and discovering
• Computer proofs in plane geometry

Cited in

(2)

• scientific article; zbMATH DE number 2000432 (Why is no real title available?)
• Opengeo: an open geometric knowledge base

This page was built for publication: Geometry knowledge base learning from theorem proofs

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