© Springer International Publishing Switzerland 2014. The paper discusses the approach to automate the processing of electronic mathematical documents and their transformation into semantic documents. Structuring electronic ...