CHEN Xiaoyu   陈肖宇   my cv
School of Mathematics and Systems Science
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

Computational Education

  • Open textbook
  • Interactive exercise
  • Intelligent tutoring
Academic Services

Session Co-chair for the

Guest Co-editor for the

Member of Program Committees for the