• OpenText
  • Objectives
  • Timeline
  • Research
  • Publications
  • Related Links
  • Contact

Publications

  1. X. Chen, W. Li, J. Luo, and D. Wang: Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence. In: CICM 2012 (J. Jeuring J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel, and V. Sorge, eds.), LNAI 7362, Springer-Verlag, Berlin Heidelberg, 2012, pp.432-437.

  2. X. Chen and D. Wang: Management of Geometric Knowledge in Textbooks. Data & Knowledge Engineering 73 (2012) 43-57.

  3. X. Chen: Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System. In: AISC/Calculemus/MKM 2010 (S. Autexier, J. Calmet, D. Delahaye, P. Ion, L. Rideau, R. Rioboo, and A. Sexton, eds.), LNAI 6167, Springer-Verlag, Berlin Heidelberg, 2010, pp. 278–292.

  4. W. Li: Mathematical Logic - Foundations For Information Science. Birkhäuser Verlag, Basel, 2010.

  5. X. Chen, Y. Huang, and D. Wang: On the Design and Implementation of a Geometric knowledge Base. In: Automated Deduction in Geometry – ADG 2008 Proceedings (T. Sturm and C. Zengler, eds.), LNAI 6301, Springer-Verlag, Berlin Heidelberg, 2010, pp. 22-41.

  6. D. Wang: Basic Elements of Computer Geometry. In: Proceedings of the Tunisia-Japan Workshop on Symbolic Computation in Software Science (SCSS 2009) (Gammarth, Tunisia, September 22-24, 2009) (A. Bouhoula and T. Ida, eds.), EasyChair, 2009, pp. 2-12.

  7. D. Wang: Formalization and Specification of Geometric Knowledge Objects. In: Proceedings of the Sixth Asian Workshop on Foundations of Software (AWFS 2009) (Tokyo, Japan, April 6-8, 2009) (Z. Hu and J. Zhang, eds.), National Institute of Informatics, Japan, 2009, pp. 86-98.

  8. W. Li: R-calculus: An Inference System for Belief Revision. In: The Computer Journal 50(4) (2007) 378-390.

  9. T. Liang and D. Wang: On the Design and Implementation of a Geometric-Object-Oriented Language. Frontiers of Computer Science in China 1(2) (2007) 180-190.

  10. X. Chen and D. Wang: Towards an Electronic Geometry Textbook. In: Automated Deduction in Geometry (F. Botana and T. Recio, eds.), LNAI 4869, Springer-Verlag, Berlin Heidelberg, 2007, pp. 1-23.

  11. H. Hong, L. Li, T. Liang, and D. Wang: Solving Dynamic Geometric Constraints Involving Inequalities. In: Artificial Intelligence and Symbolic Computation - AISC 2006 Proceedings (J. Calmet, T. Ida, and D. Wang, eds.), LNAI 4120, Springer-Verlag, Berlin Heidelberg, 2006, pp. 181-195.

  12. T. Liang and D. Wang: Towards a Geometric-Object-Oriented Language. In: Automated Deduction in Geometry (H. Hong and D. Wang, eds.), LNAI 3763, Springer-Verlag, Berlin Heidelberg, 2006, pp. 130-155.

  13. D. Wang: GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically. In: Automated Deduction in Geometry (F. Winkler, ed.), LNAI 2930, Springer-Verlag, Berlin Heidelberg, 2004, pp. 194-215.

  14. D. Wang: Automated Generation of Diagrams with Maple and Java. In: Algebra, Geometry, and Software Systems (M. Joswig and N. Takayama, eds.), Springer-Verlag, Berlin Heidelberg, 2003, pp. 277-287.