Management of Geometric Knowledge in Textbooks - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Data and Knowledge Engineering Année : 2012

Management of Geometric Knowledge in Textbooks

Dongming Wang

Résumé

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.

Dates et versions

hal-00779254 , version 1 (21-01-2013)

Identifiants

Citer

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⟩
185 Consultations
0 Téléchargements

Altmetric

Partager

More