CHEN Xiaoyu 陈肖宇
Address:
School of Mathematical Sciences Beihang University Xueyuan Road No.37, Haidian District Beijing 100191, China E-mail: chenxiaoyu[at]buaa.edu.cn |

Interests

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

- 7th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2017 Track: Data Modeling and Analysis), Vienna, Austria
- 6th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2015 Session: Data and Knowledge Exploration), Berlin, Germany
- 4th International Congress on Mathematical Software (ICMS 2014 Session: Software for Geometry), Seoul, Korea

Guest Co-editor for the

- Special Focus on Automated Deduction in Geometry, Mathematics in Computer Science 14(4), Birkhäuser Springer, Basel, 2020

- Mathematics, Data and Knowledge — Special focus of Mathematics in Computer Science, Birkhäuser Springer, Basel, 2013

Member of Program Committees for the