Geometry knowledge base learning from theorem proofs

DOI10.1007/978-3-642-54930-4_3zbMATH Open1303.68102OpenAlexW314467427MaRDI QIDQ2940960FDOQ2940960

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

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

zbMATH Keywords

knowledge baseautomated theorem provingabstract modelprocess ontologyinstance model

Mathematics Subject Classification ID

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

Cited In (2)

• Title not available (Why is that?)
• 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)