1. Kirillovich, A., Nevzorova, O., Falileeva, M., Lipachev, E., and Shakirova, L.: OntoMathEdu: a linguistically grounded educational mathematical ontology. In Benzmüller, C. and Miller, B. (eds.) CICM 2020. LNAI, vol. 12236, pp. 157–172. Springer (2020)
2. Kirillovich, A., Nevzorova, O., Falileeva, M., Lipachev, E., Shakirova, L.: OntoMathEdu: towards an educational mathematical ontology. In: Brady, E., (eds) et al. Workshop Papers at 12th Conference on Intelligent Computer Mathematics (CICM-WS 2019). CEUR Workshop Proceedings, vol. 2634. CEUR-WS.org (2020)
3. Falileeva, M., Kirillovich, A., Shakirova, L., Nevzorova, O., Lipachev, E., Dyupina, A.: OntoMathEdu educational mathematical ontology: prerequisites, educational levels and educational projections. In: Gorbunov-Posadov, M., (eds.) et al. Proceedings of the 22nd Conference on Scientific Services & Internet (SSI-2020). CEUR Workshop Proceedings, vol. 2784, pp. 346–351. CEUR-WS (2020)
4. Communications in Computer and Information Science;A Elizarov,2017
5. Elizarov, A., Kirillovich, A., Lipachev, E., and 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)