Mathematical text collections: Annotation and application for search tasks

Abstract

This paper analyzes two models: semantic annotation of mathematical texts and semantic searching for mathematical texts in a marked-up collection. It also presents the results of a series of experiments that were performed with a semantically annotated collection of scientific publications in the field of mathematics. © 2013 Allerton Press, Inc