Abstract
Electronic Geometry Textbook is a knowledge management system that manages geometric textbook knowledge to enable users to construct and share dynamic geometry textbooks interactively and efficiently. Based on a knowledge base organizing and storing the knowledge represented in specific languages, the system implements interfaces for maintaining the data representing that knowledge as well as relations among those data, for automatically generating readable documents for viewing or printing, and for automatically discovering the relations among knowledge data. An interface has been developed for users to create geometry textbooks with automatic checking, in real time, of the consistency of the structure of each resulting textbook. By integrating an external geometric theorem prover and an external dynamic geometry software package, the system offers the facilities for automatically proving theorems and generating dynamic figures in the created textbooks. This paper provides a comprehensive account of the current version of Electronic Geometry Textbook.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Activemath home, http://www.activemath.org/
Cabri home, http://www.cabri.com/
Chen, X., Huang, Y., Wang, D.: On the design and implementation of a geometric knowledge base. In: Kauers, M., Wu, M., Zeng, Z. (eds.) ADG 2008, pp. 62–78. East China Normal University, China (2008)
Chen, X., Wang, D.: Towards an electronic geometry textbook. In: Botana, F., Recio, T. (eds.) ADG 2006. LNCS (LNAI), vol. 4869, pp. 1–23. Springer, Heidelberg (2007)
Chen, X., Wang, D.: Management of geometric knowledge in textbooks. Preprint, LMIB – Beihang University, China (November 2009)
Chou, S., Gao, X.: Automated reasoning in geometry. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, ch. 11, vol. I, pp. 709–749. Elsevier, Amsterdam (2001)
Cinderella home, http://www.cinderella.de/
Gclc home, http://www.emis.de/misc/software/gclc/
Geogebra home, http://www.geogebra.org/cms/
Geometry expert home, http://www.mmrc.iss.ac.cn/gex/
Geoproof home, http://home.gna.org/geoproof/
Geother home, http://www-calfor.lip6.fr/~wang/GEOTHER/index.html
Intergeo home, http://i2geo.net/xwiki/bin/view/Main
Jdic home, https://jdic.dev.java.net/
Kamareddine, F., Maarek, M., Retel, K., Wells, J.B.: Narrative structure of mathematical texts. In: Kauers, M., Kerber, M., Miner, R., Windsteiger, W. (eds.) MKM/CALCULEMUS 2007. LNCS (LNAI), vol. 4573, pp. 296–312. Springer, Heidelberg (2007)
Leactivemath home, http://www.leactivemath.org/
Mathdox home, http://www.mathdox.org/
Mathdox formula editor, http://www.mathdox.org/formulaeditor/
Sketchpad home, http://www.dynamicgeometry.com/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chen, X. (2010). Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System. In: Autexier, S., et al. Intelligent Computer Mathematics. CICM 2010. Lecture Notes in Computer Science(), vol 6167. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14128-7_24
Download citation
DOI: https://doi.org/10.1007/978-3-642-14128-7_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14127-0
Online ISBN: 978-3-642-14128-7
eBook Packages: Computer ScienceComputer Science (R0)