Towards an Electronic Geometry Textbook (Extended Abstract) - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Towards an Electronic Geometry Textbook (Extended Abstract)

Résumé

This paper proposes a system in the form of a textbook for managing geometric knowledge dynamically, effectively, and interactively. Such a system, called an Electronic Geometry Textbook, can be viewed or printed as a traditional textbook and run as dynamic software on computer. The knowledge in the textbook is being formalized by using standard formal languages and may be processed by software modules developed for geometric computing and reasoning, diagram generation, and visualization. The textbook can be generated automatically by organizing and presenting the textbook data according to some specifications. The system allows the user to manipulate (query, modify, restructure, etc.) the textbook with automated consistency checking. We present the main ideas on the design of the electronic geometry textbook, explain the features of the system, propose five phases of creating and managing the geometric knowledge in the textbook, discuss the involved tasks and some of the fundamental research problems in each phase, and report our progress and experiments on a preliminary implementation of the system.

Dates et versions

hal-01351397 , version 1 (03-08-2016)

Identifiants

Citer

Xiaoyu Chen, Dongming Wang. Towards an Electronic Geometry Textbook (Extended Abstract). The 6th International Workshop on Automated Deduction in Geometry, Aug 2006, Pontevedra, Spain. pp.1-23, ⟨10.1007/978-3-540-77356-6_1⟩. ⟨hal-01351397⟩
50 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More