Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
ActiveMath Home, http://www.activemath.org/
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
Asperti, A., Padovani, L., Coen, C.S., Schena, I.: HELM and the Semantic Math-Web. In: Boulton, R.J., Jackson, P.B. (eds.) TPHOLs 2001. LNCS, vol. 2152, pp. 58–74. Springer, Heidelberg (2001)
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
Cinderella Home, http://www.cinderella.de/
Coxeter, H.S.M., Greitzer, S.L.: Geometry Revisited. The Mathematical Association of America, Washington, DC (1967)
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)
Kohlhase, M.: OMDoc: An Infrastructure for OpenMath Content Dictionary Information. ACM SIGSAM Bulletin 34(2), 43–48 (2000)
Kohlhase, M., Franke, A.: MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems. J. Symb. Comput. 23(4), 365–402 (2001)
Liang, T., Wang, D.: Towards a Geometric-Object-Oriented Language. In: Hong, H., Wang, D. (eds.) ADG 2004. LNCS (LNAI), vol. 3763, pp. 130–155. Springer, Heidelberg (2006)
Lozier, D.W.: NIST Digital Library of Mathematical Functions. Ann. Math. Artif. Intell. 38(1-3), 105–119 (2003)
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)
Quaresma, P., Janic̆ić, P.: GeoThms — Geometry Framework. Technical Report 2006/002, Centre for Informatics and Systems, University of Coimbra (2006)
Trybulec, A., et al.: The Mizar System. Available and developed at the University of Warsaw, Poland, at http://mizar.uwb.edu.pl/system/
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)
W3C Math Home: What is MathML?, http://www.w3.org/Math/
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
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chen, X., Wang, D. (2007). Towards an Electronic Geometry Textbook. In: Botana, F., Recio, T. (eds) Automated Deduction in Geometry. ADG 2006. Lecture Notes in Computer Science(), vol 4869. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77356-6_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-77356-6_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77355-9
Online ISBN: 978-3-540-77356-6
eBook Packages: Computer ScienceComputer Science (R0)