Formalization and specification of geometric knowledge objects

DOI10.1007/s11786-013-0167-4zbMath1319.68214OpenAlexW2094803811MaRDI QIDQ2254093

Dongming Wang, Xiao-yu Chen

Publication date: 4 February 2015

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11786-013-0167-4

zbMATH Keywords

formal specificationknowledge managementsemantic representationembedded knowledge

Mathematics Subject Classification ID

Knowledge representation (68T30) Data structures (68P05)

Related Items

Formalization of the arithmetization of Euclidean plane geometry and applications, Retrieving geometric information from images: the case of hand-drawn diagrams

Uses Software

• GCLC
• GEOTHER 1.1
• GeoGebra
• DLMF
• GCLCprover
• GeoThms
• ActiveMath
• Electronic Geometry Textbook
• Intergeo
• arXMLiv
• TGTP
• GeoText

Cites Work

• Unnamed Item
• Unnamed Item
• Geometry constructions language
• Three Years of DLMF: Web, Math and Search
• GeoThms — a Web System for Euclidean Constructive Geometry
• On the Design and Implementation of a Geometric Knowledge Base
• Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
• GCLC — A Tool for Constructive Euclidean Geometry and More Than That
• Automated Deduction in Geometry