Our ontology-based publishing platform [1] annotates mathematical scholarly papers semantically and exposes them as a Linked Data-compliant corpus connected with a few existing LOD data sets including DBpedia. MathSearch enables a particular use case that can be interesting for professional mathematicians as well as graduate students in mathematics - search of named entities in mathematical formulas.
[1] O. Nevzorova, N. Zhiltsov, D. Zaikin, O. Zhibrik, A. Kirillovich, V. Nevzorov, E. Birialtsev. Bringing Math to LOD: A Semantic Publishing Platform Prototype for Scientific Collections in Mathematics // 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part I. - Vol. 8218. - Springer Berlin Heidelberg. - 2013. pp 379-394.
Please try the demo hosted on our server.
Licensed under the Apache License, Version 2.0: http://www.apache.org/licenses/LICENSE-2.0