Publisher
Springer Nature Switzerland
Reference40 articles.
1. Elizarov, A., Kirillovich, A., Lipachev, E., Nevzorova, O., Solovyev, V., Zhiltsov, N.: Mathematical knowledge representation: semantic models and formalisms. Lobachevskii J. Math. 35(4), 347–353 (2014). https://doi.org/10.1134/S1995080214040143
2. Elizarov, A., Kirillovich, A., Lipachev, E., Nevzorova, O.: Semantic Formula Search in digital mathematical libraries. In: Proceedings of the 2nd Russia and Pacific Conference on Computer Technology and Applications (RPC 2017), pp. 39–43. IEEE (2017)
3. Developing a 21st century global library for mathematics research. Washington, D.C.: The National Academies Press (2014)
4. SearchOnMath Site. https://www.searchonmath.com/
5. MathWebSearch: Searching Math on the Web. https://search.mathweb.org/