OntoMath PRO Ontology: A Linked Data Hub for Mathematics OA Nevzorova, N Zhiltsov, A Kirillovich, E Lipachev Knowledge Engineering and the Semantic Web: 5th International Conference …, 2014 | 115 | 2014 |
Mathematical knowledge representation: semantic models and formalisms AM Elizarov, AV Kirillovich, EK Lipachev, OA Nevzorova, VD Solovyev, ... Lobachevskii Journal of Mathematics 35 (4), 348-354, 2014 | 81 | 2014 |
Digital ecosystem OntoMath: Mathematical knowledge analytics and management A Elizarov, A Kirillovich, E Lipachev, O Nevzorova Data Analytics and Management in Data Intensive Domains: XVIII International …, 2017 | 71 | 2017 |
Bringing Math to LOD: a semantic publishing platform prototype for scientific collections in mathematics O Nevzorova, N Zhiltsov, D Zaikin, O Zhibrik, A Kirillovich, V Nevzorov, ... The Semantic Web–ISWC 2013: 12th International Semantic Web Conference …, 2013 | 59 | 2013 |
Semantic formula search in digital mathematical libraries A Elizarov, A Kirillovich, E Lipachev, O Nevzorova 2017 Second Russia and Pacific Conference on Computer Technology and …, 2017 | 39 | 2017 |
Methods and means for semantic structuring of electronic mathematical documents AM Elizarov, EK Lipachev, OA Nevzorova, VD Solov’ev Doklady Mathematics 90, 521-524, 2014 | 39 | 2014 |
National corpus of the Tatar language “Tugan Tel”: grammatical annotation and implementation D Suleymanov, O Nevzorova, A Gatiatullin, R Gilmullin, B Khakimov Procedia-Social and Behavioral Sciences 95, 68-74, 2013 | 35 | 2013 |
Mathematical knowledge management: ontological models and digital technology AM Elizarov, AV Kirillovich, EK Lipachev, OA Nevzorova CEUR Workshop Proceedings 1752, 44-50, 2016 | 30 | 2016 |
OntoMathEdu: Towards an Educational Mathematical Ontology. A Kirillovich, O Nevzorova, MV Falileeva, EK Lipachev, LR Shakirova CICM Workshops, 2019 | 28 | 2019 |
OntoMath: A Linguistically Grounded Educational Mathematical Ontology A Kirillovich, O Nevzorova, M Falileeva, E Lipachev, L Shakirova International Conference on Intelligent Computer Mathematics, 157-172, 2020 | 26 | 2020 |
RuThes cloud: Towards a multilevel linguistic linked open data resource for Russian A Kirillovich, O Nevzorova, E Gimadiev, N Loukachevitch Knowledge Engineering and Semantic Web: 8th International Conference, KESW …, 2017 | 24 | 2017 |
Methods for analyzing semantic data of electronic collections in mathematics EV Biryaltsev, AM Elizarov, NG Zhiltsov, EK Lipachev, OA Nevzorova, ... Automatic Documentation and Mathematical Linguistics 48, 81-85, 2014 | 23 | 2014 |
Toward domain-specific Russian-Tatar thesaurus construction A Galieva, A Kirillovich, B Khakimov, N Loukachevitch, O Nevzorova, ... Proceedings of the International Conference IMS-2017, 120-124, 2017 | 20 | 2017 |
The OntoMath ecosystem: ontologies and applications for math knowledge management AM Elizarov, NG Zhiltsov, AV Kirillovich, EK Lipachev, OA Nevzorova, ... Semantic Representation of Mathematical Knowledge Workshop 5, 2016 | 15 | 2016 |
OntoMathPRO: An Ontology of Mathematical Knowledge AM Elizarov, AV Kirillovich, EK Lipachev, OA Nevzorova Doklady Mathematics 106 (3), 429-435, 2022 | 14 | 2022 |
Towards a recommender system for the choice of UDC code for mathematical articles O Nevzorova, D Almukhametov CEUR Workshop Proceedings 3036, 54-62, 2021 | 13 | 2021 |
Prerequisite Relationships of the OntoMathEdu Educational Mathematical Ontology A Kirillovich, M Falileeva, O Nevzorova, E Lipachev, A Dyupina, ... Applied Computer Sciences in Engineering: 8th Workshop on Engineering …, 2021 | 13 | 2021 |
The development support system “OntoIntegrator” for linguistic applications O Nevzorova, V Nevzorov Information Science and Computing 13, 78-84, 2009 | 13 | 2009 |
Corpus based Tatar lexicography: verbs in TatWordnet A Galieva, O Nevzorova, D Suleymanov Procedia-Social and Behavioral Sciences 198, 132-139, 2015 | 12 | 2015 |
Towards a Parallel Informal/Formal Corpus of Educational Mathematical Texts in Russian A Kirillovich, O Nevzorova, K Nikolaev, K Galiaskarova Advances in Intelligent Systems, Computer Science and Digital Economics, 325-334, 2020 | 9 | 2020 |