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 ...