Towards an Electronic Geometry Textbook
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.
KeywordsSoftware Module Geometric Statement Atomic Formula Traditional Textbook Geometric Knowledge
Unable to display preview. Download preview PDF.
- 1.ActiveMath Home, http://www.activemath.org/
- 2.Allen, S., Bickford, M., Constable, R., Eaton, R., Kreitz, C., Lorigo, L.: FDL: A Prototype Formal Digital Library. Cornell University, USA (2002), Available at http://www.nuprl.org/documents/FDL/02cucs-fdl.pdf
- 4.Caprotti, O., Carlisle, D.: OpenMath and MathML: Semantic Mark Up for Mathematics. ACM, New York (1999), ACM Crossroads, http://www.acm.org/crossroads/xrds6-2/openmath.html Google Scholar
- 5.Cinderella Home, http://www.cinderella.de/
- 7.Janic̆ić, P.: GCLC — A Tool for Constructive Euclidean Geometry and More than That. In: Iglesias, A., Takayama, N. (eds.) ICMS 2006. LNCS, vol. 4151, pp. 58–73. Springer, Heidelberg (2006)Google Scholar
- 12.Piroi, F., Buchberger, B.: An Environment for Building Mathematical Knowledge Libraries. In: Windsteiger, W., Benzmueller, C. (eds.) Proceedings of the Workshop on Computer-Supported Mathematical Theory Development, Cork, Ireland, pp. 19–29 (2004)Google Scholar
- 13.Quaresma, P., Janic̆ić, P.: GeoThms — Geometry Framework. Technical Report 2006/002, Centre for Informatics and Systems, University of Coimbra (2006)Google Scholar
- 14.Trybulec, A., et al.: The Mizar System. Available and developed at the University of Warsaw, Poland, at http://mizar.uwb.edu.pl/system/
- 15.Wang, D.: GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically. In: Winkler, F. (ed.) ADG 2002. LNCS (LNAI), vol. 2930, pp. 194–215. Springer, Heidelberg (2004)Google Scholar
- 16.W3C Math Home: What is MathML?, http://www.w3.org/Math/
- 17.Zeilberger, D.: Plane Geometry: An Elementary Textbook by Shalosh B. Ekhad, XIV (circa 2050), downloaded from the future by Doron Zeilberger. Available from: http://www.math.rutgers.edu/~zeilberg/GT.html