Xiaoyu CHEN   陈肖宇   my cv
Assistant Professor
School of Mathematics and Systems Science, Beihang University
Xueyuan Road No.37, Haidian District
Beijing 100191, China


E-mail: chenxiaoyu[at]buaa.edu.cn
             franknewchen[at]gmail.com
Papers
  1. 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.
  2. 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
  3. 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.
  4. X. Chen and J. Luo: RCK: a software toolkit for R-calculus (Extended abstract). In Proceedings of the 3rd International Seminar on Program Verification, Automated Debugging and Symbolic Computation (July 17–18, 2014, Vienna, Austria). Vienna University of Technology, 2014.
  5. X. Chen: Representation and automated transformation of geometric statements. Journal of Systems Science & Complexity 27(2):382–412, 2014.
  6. X. Chen, D. Wang, and X. Zhang: Foreword to the special focus on mathematics, data and knowledge. Mathematics in Computer Science 7(4):379–386, 2013.
  7. X. Chen and D. Wang: Formalization and specification of geometric knowledge objects. Mathematics in Computer Science 7(4):439–454, 2013.
  8. X. Chen, T. Zhao, and D. Wang: GeoText: an intelligent dynamic geometry textbook. ACM Communications in Computer Algebra 46(4):171–175, 2012.
  9. X. Chen: Interfacing Euclidean geometry discourse with diverse geometry software (Extended abstract). In: Proceedings of the 9th International Workshop on Automated Deduction in Geometry (September 17–19, 2012, Edinburgh, UK) (T. Ida and J. Fleuriot, eds.), pp. 99–105. Informatics Research Report, University of Edinburgh, 2012.
  10. 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.
  11. X. Chen and D. Wang: Management of geometric knowledge in textbooks. Data & Knowledge Engineering 73:43–57, 2012.
  12. 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.
  13. X. Chen. Formal representation and automated transformation of geometric statements. In: Proceedings of the 8th International Workshop on Automated Deduction in Geometry (July 22–24, 2010, Munich, Germany) (J. Richter-Gebert and P. Schreck, eds.), pp. 1–19. Technical University of Munich, 2010.
  14. 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.
  15. X. Chen and D. Wang: Towards an electronic geometry textbook. In: Automated Deduction in Geometry (F. Botana and T. Recio, eds.), Lecture Notes in Artificial Intelligence 4869, pp. 1–23. Springer, Berlin Heidelberg, 2007.
  16. X. Chen, T. Liang, D. Wang, and T. Zhao: Towards a dynamic environment for geometry research & education (Extended abstract). In: Proceedings of the 5th Asian Workshop on Foundations of Software (June 1–3, 2007, Xiamen, China) (T. Ida, Q. Jiang, and D. Wang, eds.), pp. 153–156. Xiamen University, 2007.
  17. X. Chen and D. Wang: Towards an electronic geometry textbook (Extended abstract). In: Proceedings of the 6th International Workshop on Automated Deduction in Geometry (August 31 – September 2, 2006, Pontevedra, Spain) (F. Botana and E. Roanes-Lozano, eds.), pp. 15–25. ISBN 84-611-2355-7, University of Vigo, 2006.
Preprint
  1. X. Chen and D. Wang: The spaces of data, information, and knowledge. arXiv, pp. 1–14, 2014.