个人简介
教育背景
2004年09月~2011年12月:北京航空航天大学,数学与系统科学学院,数学知识管理,理学博士
2000年09月~2004年07月:北京航空航天大学,理学院信息与计算科学专业,理学学士
工作简历
2015年03月至今:北京航空航天大学,数学与系统科学学院,硕士生导师
研究兴趣:数学知识表示、获取、检索、验证、推理,教学智能化
2012年01月~2015年02月:北京航空航天大学,计算机学院,软件开发环境国家重点实验室,博士后
2008年09月~2009年09月:荷兰埃因霍温理工大学(TU/e),数学与计算机科学系,客座研究员
科研项目
主持 国家自然科学基金青年基金(2018~2020)
软件开发环境国家重点实验室探索性自选课题(2016~2017)
教学活动
2017年秋:计算几何,32学时,专业选修课
2015年秋~2017年春:工科高等代数,96学时,公共基础课
2015年春:数学分析II习题课,22学时,专业基础课
研究领域
Computer Mathematics
Knowledge representation and interoperation
Formula/Diagram recognition and searching
Knowledge reasoning and verification
Math problem solver
Intelligent Mathematical Documents
Open textbooks
Interactive exercises
Intelligent tutoring
近期论文
查看导师新发文章
(温馨提示:请注意重名现象,建议点开原文通过作者单位确认)
X. Chen, M. Liang, M. Hu, and L. Chen: H2-reducible matrices in six-dimensional mutually unbiased bases. Quantum Information Processing 20:353, 2021.
M. Liang, M. Hu, Y. Sun, L. Chen, and X. Chen: Real entries of complex Hadamard matrices and mutually unbiased bases in dimension six. Linear and Multilinear Algebra 69(15):2908–2925, 2021.
Y. Song and X. Chen: Searching for mathematical formulas based on graph representation learning. In: Intelligent Computer Mathematics (F. Kamareddine and C.S. Coen, eds.), Lecture Notes in Arti?cial Intelligence 12833, pp. 137–152. Springer, 2021.
D. Wang, B. Huang, and X. Chen: On n-sectors of the angles of an arbitrary triangle. Mathematics in Computer Science 14:757–773, 2020.
X. Chen, H. Li, and J. Yang: Foreword to the Special Focus on Automated Deduction in Geometry. Mathematics in Computer Science 14:671–672, 2020.
M. Liang, M. Hu, L. Chen, and X. Chen: The H2-reducible matrix in four six-dimensional mutually unbiased bases. Quantum Information Processing 18:352, 2019.
X. Chen, H. Shuai, D. Wang, and J. Yang: LAText: a linear algebra textbook system. In: Arti?cial Intelligence and Symbolic Computation (J. Fleuriot, D. Wang, and J. Calmet, eds.), Lecture Notes in Arti?cial Intelligence 11110, pp. 209–214. Springer, Berlin Heidelberg, 2018.
D. Jiang, X. Chen, X. Yang: A Chinese new word detection approach based on independence testing. In: Arti?cial Intelligence and Symbolic Computation (J. Fleuriot, D. Wang, and J. Calmet, eds.), Lecture Notes in Arti?cial Intelligence 11110, pp. 227–236. Springer, Berlin Heidelberg, 2018.
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, D. Wang, and X. Zhang: Foreword to the special focus on mathematics, data and knowledge. Mathematics in Computer Science 7(4):379–386, 2013.
X. Chen and D. Wang: Formalization and specification of geometric knowledge objects. Mathematics in Computer Science 7(4):439–454, 2013.
X. Chen, T. Zhao, and D. Wang: GeoText: an intelligent dynamic geometry textbook. ACM Communications in Computer Algebra 46(4):171–175, 2012.
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.
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.
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.
学术兼职
期刊客座编辑
Mathematics, Data and Knowledge — Special focus of Mathematics in Computer Science, Birkhäuser Springer, Basel, 2013
国际会议程序委员会委员
International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2015, 2017)
International Congress on Mathematical Software (ICMS 2014)
International Workshop on Automated Deduction in Geometry (ADG 2012, 2014, 2016, 2018)
International Conference on Knowledge Management and Information Sharing (KMIS 2011, 2012, 2013, 2014, 2015)
中国数学会计算机数学专业委员会委员(2016~2019)