Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System

  • Xiaoyu Chen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6167)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Activemath home, http://www.activemath.org/
  2. 2.
  3. 3.
    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)Google Scholar
  4. 4.
    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)CrossRefGoogle Scholar
  5. 5.
    Chen, X., Wang, D.: Management of geometric knowledge in textbooks. Preprint, LMIB – Beihang University, China (November 2009)Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    Cinderella home, http://www.cinderella.de/
  8. 8.
  9. 9.
  10. 10.
    Geometry expert home, http://www.mmrc.iss.ac.cn/gex/
  11. 11.
  12. 12.
  13. 13.
  14. 14.
  15. 15.
    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)CrossRefGoogle Scholar
  16. 16.
    Leactivemath home, http://www.leactivemath.org/
  17. 17.
  18. 18.
    Mathdox formula editor, http://www.mathdox.org/formulaeditor/
  19. 19.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Xiaoyu Chen
    • 1
  1. 1.LMIB – SKLSDE – School of Mathematics and Systems ScienceBeihang UniversityBeijingChina

Personalised recommendations