Skip to Main content Skip to Navigation
Journal articles

Management of Geometric Knowledge in Textbooks

Abstract : This paper describes Geometric Knowledge Management, explains its main topics and research challenges, and introduces several methods and techniques for geometric knowledge representation, encapsulation, organization, communication, and processing. The proposed methods and techniques make use of general methodologies developed in Mathematical Knowledge Management and take into account the special features of geometry. They are applied to the design and implementation of a system, called an Electronic Geometry Textbook, for representing and managing (plane Euclidean) geometric knowledge in the form of dynamic textbooks. The system may be used to assist users in constructing, maintaining, and sharing geometry textbooks or documents at a detailed granularity, and it is capable of automatically checking the consistency of the presentation structure and the completeness and redundancy of the contents of the constructed textbooks. It also interfaces with external geometry software for automated theorem proving and dynamic diagram drawing.
Document type :
Journal articles
Complete list of metadatas

https://hal.inria.fr/hal-00779254
Contributor : Dongming Wang <>
Submitted on : Monday, January 21, 2013 - 9:37:06 PM
Last modification on : Tuesday, August 20, 2019 - 3:44:03 PM

Identifiers

Citation

Xiaoyu Chen, Dongming Wang. Management of Geometric Knowledge in Textbooks. Data and Knowledge Engineering, Elsevier, 2012, 73, pp.43-57. ⟨10.1016/j.datak.2011.10.004⟩. ⟨hal-00779254⟩

Share

Metrics

Record views

439