© 2018 IEEE. This paper discusses the approach to a semantic search of mathematical expressions which allows seeking formulae by textual definitions of their variables. The proposed method allows establishing relations ...