On the design and implementation of a geometric knowledge base

DOI10.1007/978-3-642-21046-4_2MaRDI QIDQ3003226zbMATH OpenOpenAlexFDO

Authors Ying Huang, Dongming Wang, 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)

Recommendations

• Formalization and specification of geometric knowledge objects
• Geometric query types for data retrieval in relational databases
• Electronic Geometry Textbook: a geometric textbook knowledge management system
• scientific article; zbMATH DE number 1755589
• DrawCAD: using deductive object-relational databases in CAD

Cited in

(6)

• scientific article; zbMATH DE number 2125601 (Why is no real title available?)
• DrawCAD: using deductive object-relational databases in CAD
• Formalization and specification of geometric knowledge objects
• scientific article; zbMATH DE number 1755589 (Why is no real title available?)
• Geometrical aspect of databases and knowledge bases.
• A multi-dimensional data organization for natural language processing

Describes a project that uses

Uses Software

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

This page was built for publication: On the design and implementation of a geometric knowledge base

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