Management of Geometric Knowledge in Textbooks

Xiaoyu Chen Dongming Wang 1, 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.
Type de document :
Article dans une revue
Data and Knowledge Engineering, Elsevier, 2012, 73, pp.43-57. <10.1016/j.datak.2011.10.004>
Liste complète des métadonnées

https://hal.inria.fr/hal-00779254
Contributeur : Dongming Wang <>
Soumis le : lundi 21 janvier 2013 - 21:37:06
Dernière modification le : jeudi 21 février 2013 - 16:18:50

Identifiants

Collections

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>

Partager

Métriques

Consultations de la notice

212