D. Song, D. Wang, and X. Chen: Retrieving geometric information from images: the case of hand-drawn diagrams. Data Mining and Knowledge Discovery 31(4):934–971, 2017. W. An, X. Chen, and D. Wang: Searching for geometric theorems using features retrieved from diagrams. In: Mathematical Aspects of Computer and Information Sciences (I.S. Kotsireas et al., eds.), Lecture Notes in Computer Science 9582, pp. 383–397. Springer, Berlin Heidelberg, 2016. D. Song, D. Wang, and X. Chen: Discovering geometric theorems from scanned and photographed images of diagrams. In: Automated Deduction in Geometry (F. Botana and P. Quaresma, eds.), Lecture Notes in Computer Science 9201, pp. 149–165. Springer, Berlin Heidelberg, 2015. X. Chen, D. Song, and D. Wang: Automated generation of geometric theorems from images of diagrams. Geometric Reasoning — Special issue of Annals of Mathematics and Artificial Intelligence 74(3-4):333–358, 2015. D. Wang, X. Chen, W. An, L. Jiang, and D. Song: OpenGeo: an open geometric knowledge base. In: Mathematical Software — ICMS 2014 (H. Hong and C. Yap, eds.), Lecture Notes in Computer Science 8592, pp. 240–245. Springer, Berlin Heidelberg, 2014. X. Chen: Representation and automated transformation of geometric statements. Journal of Systems Science & Complexity 27(2):382–412, 2014. X. Chen and D. Wang: Formalization and specification of geometric knowledge objects. Mathematics in Computer Science 7(4):439–454, 2013. X. Chen, W. Li, J. Luo, and D. Wang: Open geometry textbook: a case study of knowledge acquisition via collective intelligence. In: Intelligent Computer Mathematics (J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel, and V. Sorge, eds.), Lecture Notes in Artificial Intelligence 7362, pp. 432–437. Springer, Berlin Heidelberg, 2012. X. Chen and D. Wang: Management of geometric knowledge in textbooks. Data & Knowledge Engineering 73:43–57, 2012. X. Chen, Y. Huang, and D. Wang: On the design and implementation of a geometric knowledge base. In: Automated Deduction in Geometry (T. Sturm and C. Zengler, eds.), Lecture Notes in Artificial Intelligence 6301, pp. 22–41. Springer, Berlin Heidelberg, 2011. X. Chen: Electronic geometry textbook: a geometric textbook knowledge management system. In: Intelligent Computer Mathematics (S. Autexier, J. Calmet, D. Delahaye, P. Ion, L. Rideau, R. Rioboo, and A. Sexton, eds.), Lecture Notes in Artificial Intelligence 6167, pp. 278–292. Springer, Berlin Heidelberg, 2010. |
