On the Design and Implementation of a Geometric Knowledge Base

DOI10.1007/978-3-642-21046-4_2zbMath1302.68252OpenAlexW2111282038MaRDI QIDQ3003226

Dongming Wang, Ying Huang, Xiao-yu Chen

Publication date: 26 May 2011

Published in: Automated Deduction in Geometry (Search for Journal in Brave)

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

zbMATH Keywords

knowledge baseknowledge managementgeometric knowledgeknowledge objectknowledge data

Mathematics Subject Classification ID

Knowledge representation (68T30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to geometry (51-01)

Related Items

Formalization and specification of geometric knowledge objects

Uses Software

• GEOTHER 1.1
• GeoGebra
• SymbolicData
• GeoThms
• MathDox
• Intergeo