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

• Geo* - Geometry on Computer
• Open Geometry Textbook
• LAText
• Linear Algebra Exercises

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

• International Workshop on Automated Deduction in Geometry (ADG 2021, 2018, 2016, 2014, 2012)
• International Conference on Knowledge Management and Information Sharing (KMIS 2015, 2014, 2013, 2012, 2011)