Abstract:
The paper considers two models – a model for semantically annotating mathematical documents and a search model based on semantically annotated documents collection. We also present the experimental results on applying the technology on genuine mathematical papers.