CHEN Xiaoyu   陈肖宇  
School of Mathematical Sciences
Beihang University
Xueyuan Road No.37, Haidian District
Beijing 100191, China

E-mail: chenxiaoyu[at]

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
Projects & Systems
Academic Services

Session Co-chair for the

Guest Co-editor for the

Member of Program Committees for the