Skip to Main content Skip to Navigation
New interface
Journal articles

Management of Geometric Knowledge in Textbooks

Xiaoyu Chen 1 Dongming Wang 2 
2 PolSys - Polynomial Systems
LIP6 - Laboratoire d'Informatique de Paris 6, Inria Paris-Rocquencourt
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 metadata
Contributor : Dongming Wang Connect in order to contact the contributor
Submitted on : Monday, January 21, 2013 - 9:37:06 PM
Last modification on : Thursday, September 15, 2022 - 1:29:55 PM



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



Record views