Introduction
The objective of the e-Text task of the Geo* project is to develop software systems that can present and manage geometric knowledge in the form of textbooks. The design and implementation of such systems appeal for investigations on the
- formalization and representation of geometric knowledge objects;
- automated transformation among knowledge objects represented in different forms;
- interfaces with external geometry software and databases;
- presentation of geometric knowledge in textbooks;
- methodologies and functionalities for geometric knowledge management.
GeoText is an intelligent dynamic software system in the form of an electronic textbook that allows the user to create, maintain, and manage knowledge elements in plane Euclidean geometry. The textbook is dynamic in the sense that its structure and contents can be updated in real time and is intelligent in the sense that content management and knowledge processing may be automated. Supported by a structured and formalized knowledge base, having a geometric theorem prover(GEOTHER) and a dynamic diagram generator (GeoDraw) integrated, with an interface to a dynamic mathematics software package (GeoGebra), GeoText is capable of presenting structured textbook contents as electronic textbooks (in English or Chinese), checking the consistency of the presentation structure and the redundancy and completeness of textbook contents, discovering relations among geometric knowledge data, proving geometric theorems, and generating dynamic diagrams for configurations in textbooks, automatically in most cases.
Demo for GeoText (Electronic Geometry Textbook) is available.
Manual for using GeoText is available.