On the Design and Implementation of a Geometric Knowledge Base

DOI10.1007/978-3-642-21046-4_2zbMATH Open1302.68252OpenAlexW2111282038MaRDI QIDQ3003226FDOQ3003226

Xiao-Yu Chen, Dongming Wang, Ying Huang

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)

Cited In (3)

• Title not available (Why is that?)
• Formalization and specification of geometric knowledge objects
• Geometrical aspect of databases and knowledge bases.

Uses Software

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

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)