 |
13th International Conference on Artificial Intelligence and Symbolic Computation |
|---|
Speaker: Dr. Xiaoyu Chen (Beihang University, China)
Title: Towards Intelligent Mathematical Documents
Abstract:
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.