13th International Conference on Artificial Intelligence and Symbolic Computation


Speaker: Dr. Xiaoyu Chen (Beihang University, China)

Title: Towards Intelligent Mathematical Documents


In this talk, I will present a view on ''intelligent documents'', illustrate their typical features compared with plain electronic documents, and show some potential applications. By putting emphasis on the fields of mathematics, I will give a brief reviw and introduction to the methods and techniques developed for semantical representation of mathematical documents, query and search for mathematical expressions and diagrams, reasoning and verificaiton of mathematical contents, and processing facilities of interaction.