Some approaches to the markup of scientific documents containing mathematical expressions

This paper analyzes an approach to semantic search for mathematical expressions that would enable browsing for mathematical formulae via textual names of variables in the formulae. A method is suggested to establish relations between the textual definitions of variables, their names, and the formulae containing these variables. Two software implementations of semantic search engines are described: searching for formulae in Wikipedia articles and marking up scholarly papers for browsing via ontology. The results of experimental evaluations in the context of relevance of the search and completeness of the relations, as well as the ways of solving the main problems in the proposed approach are discussed.