2023
-
Елизаров А.М. ОНТОЛОГИЯ МАТЕМАТИЧЕСКОГО ЗНАНИЯ OntoMathPRO / А.М. Елизаров, А.В. Кириллович, Е.К. Липачёв, О.А. Невзорова // Доклады Российской академии наук. Математика, информатика, процессы управления. - 2022. - Т. 507. - N 1. - С. 29-35. DOI: 10.31857/S2686954322700011
F_DANI0029_p1.pdf -
Елизаров А.М., Кириллович А.В., Липачёв Е.К., Невзорова О.А. Новые компоненты онтологии
OntoMathPRO представления математического знания // Научный сервис в сети Интернет:
труды XXV Всероссийской научной конференции (18-21 сентября 2023 г., онлайн). — М.: ИПМ
им. М.В.Келдыша, 2023. — С. 141-151. https://doi.org/10.20948/abrau-2023-32. https://keldysh.ru/abrau/2023/theses/32.pdf
F_Novye_komponenty_ontologii_OntoMathPRO.pdf -
Nevzorova O.A., Falileeva M.V., Kirillovich A.V., Lipachev E.K., Shakirova L.R., Dyupina A.E.
OntoMathEdu Educational Ontology: Problems of Ontological Engineering // Pattern Recognition and Image Analysis. 2023. 33(3). P. 460–466.
DOI: 10.1134/S1054661823030367. URL: https://www.webofscience.com/wos/woscc/full-record/WOS:001075049100034
F_PatRec3_23_authorsvers.pdf -
Елизаров А.М. Цифровая экосистема OntoMath как подход к построению пространства математических знаний / А.М. Елизаров, А.В. Кириллович, Е.К. Липачёв, О.А. Невзорова // Электронные библиотеки. 2023. 26 (2). С.154-202. DOI: 10.26907/1562-5419-2023-26-2-154–202
771_Tekst_stati_1271_1_10_20230518.pdf
2022
-
Elizarov A.M, Kirillovich A.V, Lipachev E.K, Nevzorova O.A. OntoMath(PRO): Ontology of Mathematical Knowledge // DOKLADY MATHEMATICS. - 2022. - Vol.106, Is.3. - P.429-435. doi: 10.1134/S1064562422700016.
S1064562422700016.pdf
2021
-
Фалилеева, М. В., Кириллович, А. В. ., Hевзорова О. А., Шакирова, Л. Р., Липачёв, Е. К., Дюпина, А. Э. Системы образовательных проекций, уровней и пререквизитов математической онтологии OntoMathEdu. Электронные библиотеки, 2021, 24(3), 505-530. https://doi.org/10.26907/1562-5419-2021-24-3-505-530
691_Tekst_stati_1069_1_10_20210711.pdf
2020
-
Kirillovich, A.: OntoMathEdu: Towards an Educational Mathematical Ontology/ A. Kirillovich, O. Nevzorova, M. Falileeva, E. Lipachev, L. Shakirova // CEUR Workshop Proceedings, 2020. V. 2634. P. 1-10. http://ceur-ws.org/Vol-2634/WiP1.pdf.
F_OntoMathEdu_Towards_an_Educational_Mathematical_Ontology.pdf -
Falileeva M.: OntoMathEdu Educational Mathematical Ontology: Prerequisites, Educational Levels and Educational Projections/ M. Falileeva, A. Kirillovich, L. Shakirova, O. Nevzorova, E. Lipachev, A. Dyupina // CEUR Workshop Proceedings, 2020, vol. 2784, p.346-351
spaper07__3_.pdf -
Falileeva M., Kirillovich A., Shakirova L., Nevzorova O., Lipachev E., Dyupina A.: OntoMathEdu Educational Mathematical Ontology: Prerequisites, Educational Levels and Educational Projections. CEUR Workshop Proceedings, 2020, vol. 2784, p.346-351
spaper07.pdf -
Фалилеева М.В.: Разработка образовательных проекции математической онтологии OntoMathEdu / М.В.Фалилеева, А.В.Кириллович, О.А.Невзорова, Л.Р.Шакирова, Е.К.Липачёв, А.Э.Дюпина //Научный сервис в сети Интернет: труды XXII
Всероссийской научной конференции. — М.: ИПМ им. М.В.Келдыша, 2020. — С. 604-611. https://doi.org/10.20948/abrau-2020-26. https://keldysh.ru/abrau/2020/theses/26.pdf. https://www.elibrary.ru/item.asp?id=44142673.
F_Razrabotka_obrazovatelnykh_proekcii_matematicheskoj_ontologii.pdf
2019
-
Свидетельство 2019610460 Российская Федерация. Свидетельство об государственной регистрации программы для ЭВМ. OntoMathSearch: система семантического поиска по математическим формулам / А.В. Кириллович, Н.Г. Жильцов; заявитель и правообладатель ФГАОУ ВО КФУ (RU). - №2018664807; заявление 18.12.2018; опубликовано 10.01.2019, Реестр программ для ЭВМ. - 1 с.
-
Свидетельство 2019610241 Российская Федерация. Свидетельство об государственной регистрации программы для ЭВМ. Программный комплекс автоматического препроцессинга цифровых коллекций математических документов / А.М. Елизаров, Н.Г. Жильцов, А.В. Кириллович, Е.К. Липачев, О.А. Невзорова; заявитель и правообладатель ФГАОУ ВО КФУ (RU). - № 2018664769; заявление 18.12.2018; опубликовано 10.01.2019, Реестр программ для ЭВМ. - 1 с.
-
Liliana Shakirova, Marina Falileeva, Alexander Kirillovich and Eugeny Lipachev. Problems and Solutions in the Design of Formal Taxonomy of Concepts of Geometry // L. Gómez Chova, et al. (eds). Proceedings of the 13th International Technology, Education and Development Conference (INTED2019), Valencia, Spain, March 11th-13th, 2019. IATED, 2019. Pp. 6793-6801
- Гатиатуллин А.Р., Кириллович А.В., Хакимов Б.Э. Современные лингвистические информационные ресурсы для исследования терминологии / А.Р.Гатиатуллин, А.В.Кириллович, Б.Э.Хакимов // Научный Татарстан. - 2019. - № 1. - С. 88-94.
-
Кириллович А.В. Релятивизм в отношении истины // Материалы международной научной конференции «Одиннадцатые Смирновские чтения по логике», 19-21 июня 2019, г. Москва, МГУ. М.: Современные тетради, 2019. С. 82-84
-
Шакирова Л.Р., Фалилеева М.В., Кириллович А.В., Липачев Е.К., Невзорова О.А.,Невзоров В.Н. Образовательная математическая онтология OntoMathEdu: структура и отношения // Научный сервис в сети Интернет: труды XXI Всероссийской научной конференции (23-28 сентября 2019 г., г. Новороссийск). — М.: ИПМим. М.В.Келдыша, 2019. - С. 653-661. - URL: http://keldysh.ru/abrau/2019/theses/84.pdfdoi:10.20948/abrau-2019-84
- Свидетельство о государственной регистрации базы данных № 2019622208 Онтология образовательной математики «OntoMathEdu». Заявитель и правообладатель ФГАОУ ВО КФУ (RU). Авторы: Кириллович А.В., Липачев Е.К., Невзорова О.А., Фалилеева М.В., Шакирова Л.Р. Заявка № 2019622124, дата поступления 19.11.2019. Дата государственной регистрации в реестре баз данных 28.11.2019.
-
Alexander Kirillovich, Liliana Shakirova, Marina Falileeva and Eugeny Lipachev. Towards an Educational Mathematical Ontology // L. Gómez Chova, et al. (eds). Proceedings of the 13th International Technology, Education and Development Conference (INTED2019), Valencia, Spain, March 11th-13th, 2019. IATED, 2019. Pp. 6823-6829
2018
- Елизаров А.М., Кириллович А.В., Липачев Е.К., Невзорова О.А., Шакирова Л.Р. Семантические технологии в математическом образовании: онтологии и открытые связанные данные // Ученые записки ИСГЗ, 2018. №1. С. 222–227.
-
Кириллович А.В., Баширов А.М., Гатиатуллин А.Р. Программная система для разработки многоязычного тезауруса // Программные продукты и системы. 2018, Т. 31. № 1. С. 112–120
-
Alexander Kirillovich and Olga Nevzorova. Ontological Analysis of the Wikipedia Category System // David Aveiro, Jan Dietz, Joaquim Filipe (eds). Proceedings of the 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2018). Seville, Spain, 18-20 September, 2018. Volume 2: KEOD. SCITEPRESS, 2018. Pp. 358-366
- Невзорова О.А., Кириллович А.В., Невзоров В.Н., Николаев К.С. Модели семантического контекста математических формул в научных статьях // 16-я Национальная конференция по искусственному интеллекту с международным участием КИИ-2018. 24–27 сентября 2018 г., г. Москва, Россия. Труды конференции. В 2-х томах. Т 1. Москва: РКП, 2018. С. 271-278
- ОНТОЛОГИЧЕСКАЯ МОДЕЛЬ ONTOMATHEDU В ПРОВЕРКЕ МАТЕМАТИЧЕСКИХ ЗНАНИЙ ОБУЧАЮЩИХСЯ / Л.Р.Шакирова, М.В. Фалилееа, А.В. Кириллович, Е.К. Липачев, О.А. Невзорова, Ш.М. Хайдаров, А.Э. Дюпина, С.Р. Мухамедвалиева С.Р., К.Р. Галиаскарова // Научно-техническая конференция по итогам совместного конкурса фундаментальныъх исследований РФФИ - РТ: сб. докладов региональной научно-технической конференции. - Казань: Изд-во АН РТ, 2018. - С.617-621.
-
Elizarov A.M., Kirillovich A.V., Lipachev E.K., Nevzorova O.A., Shakirova L.R. Open linked data and ontologies in mathematics education (Открытые связанные данные и онтологии в математическом образовании) // V. Voevodin, et al (eds). Proceedings of the 20th Conference Scientific Services & Internet (SSI-2018). CEUR Workshop Proceedings, vol. 2260. CEUR-WS, 2018. Pp. 186-196
-
Свидетельство 2018622131 Российская Федерация. Свидетельство об государственной регистрации базы данных. Онтология профессиональной математики «OntoMathPro» / А.В. Кириллович, Н.Г. Жильцов, П.Н. Иваньшин, А.В. Каюмова, И.Р. Каюмов, Е.К. Липачев, М.С. Матвейчук, О.А. Невзорова, В.Д. Соловьев, Е.А. Уткина; заявитель и правообладатель ФГАОУ ВО КФУ (RU). - №2018622131; заявл. 06.11.2018; опубл. 25.12.2018, Реестр баз данных. - 1 с.
- Шакирова Л.Р., Фалилеева М.В., Кириллович А.В., Липачев Е.К. Проектирование образовательной математической онтологии: проблемы и методы решения на примере курса планиметрии // XV Международная конференция по компьютерной и когнитивной лингвистике TEL 2018. Сборник трудов: в 2-х томах. Т. 1. – Казань: Изд.-во АН РТ, 2018. – С. 393-405
- Елизаров А.М., Кириллович А.В., Липачёв Е.К., Невзорова О.А., Шакирова Л.Р. Открытые связанные данные и онтологии в математическом образовании// Научный сервис в сети Интернет: труды XIX Всероссийской научной конференции (17–23 сентября 2018 г., г. Новороссийск). – М.: ИПМ им. М.В. Келдыша, 2018. – С. 186–196
-
Olga Nevzorova, Alexander Kirillovich, Vladimir Nevzorov, Konstantin Nikolaev. The Semantic Context Models of Mathematical Formulas in Scientific Papers // Leonid Kalinichenko, et al. (eds). Selected Papers of the XX International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2018). CEUR Workshop Proceedings, vol. 2277. CEUR-WS.org, 2018. Pp. 33-40
2017
- Галиева А.М., Кириллович А.В., Лукашевич Н.В., Невзорова О.А., Сулейманов Д.Ш. Создание русско-татарского тезауруса по общественно-политической тематике: общие принципы и аспекты реализации // Научно-техническая информация. Серия 2: Информационные процессы и системы. — 2017. — № 2 — С. 20-28.
-
Alexander Elizarov, Alexander Kirillovich, Evgeny Lipachev, Olga Nevzorova. Digital Ecosystem OntoMath: Mathematical Knowledge Analytics and Management // Kalinichenko L., Kuznetsov S., Manolopoulos Y. (eds). XVIII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2016). Communications in Computer and Information Science, vol 706. Springer, Cham, 2017. Pp. 33-46
- Елизаров А.М., Кириллович А.В., Липачёв Е.К. Блоги в системе научных коммуникаций // Ученые записки ИСГЗ. 2017. №1(15). С. 209-214
-
Кириллович А.В. Информационная архитектура блогов // Электронные библиотеки. – 2017. – Т. 20, № 2. - С. 147-162
-
Кириллович А.В. Логические константы и проблема демаркации логики // Десятые Смирновские чтения по логике: Материалы междунар. науч. конференции. – М.: Современные тетради, 2017. – С. 82-84.
logical_constants_srl17.pdf -
Alfiya Galieva, Alexander Kirillovich, Bulat Khakimov, Natalia Loukachevitch, Olga Nevzorova, Dzhavdet Suleymanov. Toward Domain-Specific Russian-Tatar Thesaurus Construction // Proceedings of the International Conference IMS-2017. ACM, 2017
-
Alexander Kirillovich, Olga Nevzorova, Emil Gimadiev, Natalia Loukachevitch. RuThes Cloud: Towards a Multilevel Linguistic Linked Open Data Resource for Russian // Przemysław Różewski, Christoph Lange (eds.) Proceedings of the 8th International Conference on Knowledge Engineering and Semantic Web (KESW 2017). Communications in Computer and Information Science, vol 786. Springer, 2017. Pp. 38-52
-
Alexander Elizarov, Alexander Kirillovich, Evenvgeny Lipachev, Olga Nevzorova. Semantic Formula Search in Digital Mathematical Libraries // Proceedings of the 2nd Russia and Pacific Conference on Computer Technology and Applications (RPC 2017). IEEE, 2017. Pp. 39-43. DOI: 10.1109/RPC.2017.8168063.
-
Olga Nevzorova, Vladimir Nevzorov, Alexander Kirillovich. A Syntactic Method of Extracting Terms from Special Texts for Replenishing Domain Ontologies // Proceedings of the 2nd Russia and Pacific Conference on Computer Technology and Applications (RPC 2017). IEEE, 2017. Pp. 127-131
-
Кириллович А.В., Невзорова О.А. Проблема транзитивности в системе категорий Википедии // Leonid Kalinichenko, et al. (eds). Selected Papers of the XIX International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2017). CEUR Workshop Proceedings, vol. 2022. CEUR-WS.org, 2017. Pp. 57-63
DAMDID_2017.pdf -
Галиева А.М., Кириллович А.В., Лукашевич Н.В., Невзорова О.А., Сулейманов Д.Ш., Якубова Д.Д.. Русско-татарский общественно-политический тезаурус: публикация в облаке лингвистических открытых связанных данных // International Journal of Open Information Technologies, vol. 5, no. 11, 2017. Pp. 64-73
2016
-
Елизаров А.М. Экосистема ONTOMATH и проект Всемирной цифровой математической библиотеки / А.М. Елизаров, Н.Г. Жильцов, А.В. Кириллович, Е.К. Липачёв, О.А. Невзорова // Труды международной конференции по компьютерной и когнитивной лингвистике TEL-2016. – Казань: Изд-во Казан. ун-та, 2016. – С. 25–28.
1_7_PDF_proceedings.pdf -
Елизаров А.М. Онтологии математического знания и рекомендательная система для коллекций физико-математических документов / А. М. Елизаров, А.Б. Жижченко, Н. Г. Жильцов, А. В. Кириллович, Е. К. Липачёв // Доклады РАН. - 2016. - Т. 467. - № 4. – С. 392–395.
Paper_EZhZhKL_pre.pdf -
Alexander M. Elizarov, Alexander V. Kirilovich, Evgeny K. Lipachev, Olga A. Nevzorova. Mathematical Knowledge Management: Ontological Models and Digital Technology // Leonid Kalinichenko, et al. (eds). Selected Papers of the XVIII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2016). CEUR Workshop Proceedings, vol. 1752, pp. 44–50. CEUR-WS, 2016
paper08.pdf -
Елизаров А.М. Управление математическими знаниями: онтологические модели и цифровые технологии / А.М. Елизаров, А.В. Кириллович, Е.К. Липачёв, О.А. Невзорова // Аналитика и управление данными в областях с интенсивным использованием данных: сборник статей XVIII Междун. конф. DAMDID/RCDL'2016 . - М.: ФИЦ ИУ РАН, 2016. - С.95-101.
DAMDID_Elizarov_all.pdf -
Elizarov A.M. Mathematical Knowledge Ontologies and Recommender Systems for Collections of Documents in Physics and Mathematics / A.M. Elizarov, A.V. Kirillovich, E.K. Lipachev, A.B. Zhizhchenko, N.G. Zhil'tsovc, // Doklady Mathematics. - 2016. - Vol. 93. - №. 2. - P. 1–3.
Paper_EZhZhKL_engl.pdf
2015
-
Елизаров А.М. Семантический рекомендательный сервис в профессиональной деятельности математика / А.М. Елизаров, Н.Г. Жильцов, В.В. Иванов, А.В. Кириллович, Е.К. Липачёв, О.А. Невзорова // Ученые записки ИСГЗ. 2015. № 1. С. 190-197.
elizarov_zhiltsov.pdf -
Елизаров А. М., Жильцов Н.Г., Кириллович А.В., Липачёв Е.К. Терминологическое аннотирование и рекомендательный сервис в системе управления физико-математическим контентом // Труды XVII Международной конференции DAMDID/RCDL'2015 «Аналитика и управление данными в областях с интенсивным использованием данных» . – Обнинск: ИАТЭ НИЯУ МИФИ, 2015. С.357-350.
damdid2015_paper_Elizarov_new.pdf -
Елизаров А. М., Жильцов Н.Г., Кириллович А.В., Липачёв Е.К. Семантическое аннотирование в системе управления физико-математическим контентом // Научный сервис в сети Интернет: труды XVII Всероссийской научной конференции (21-26 сентября 2015 г., г. Новороссийск). — М.: ИПМ им. М.В.Келдыша, 2015. - С.98-103.
Elizarov_at_all_.pdf
2014
-
Alexander M. Elizarov, Alexander V. Kirillovich, Evgeny K. Lipachev, Olga A. Nevzorova, Valery D. Solovyev, Nikita G. Zhiltsov. Mathematical knowledge representation: semantic models and formalisms //
Lobachevskii Journal of Mathematics, October 2014, Vol. 35, No. 4. Pleiades Publishing, 2014. Pp. 348–354
Mathematical_knowledge_representation_LJM2014.pdf -
Olga Nevzorova, Nikita Zhiltsov, Alexander Kirillovich, Evgeny Lipachev. OntoMathPRO Ontology: A Linked Data Hub for Mathematics // Pavel Klinov, Dmitry Mouromstev (eds.) Proceedings of the 5th International Conference on Knowledge Engineering and Semantic Web (KESW 2014). Communications in Computer and Information Science, vol. 468. Springer, Cham, 2014. Pp. 105–119
F_OntoMathPro_ontology_KESW2014.pdf - А.В. Кириллович. Висячая пунктуация в web-типографике // Труды Казанской школы по компьютерной и когнитивной лингвистике TEL-2014 (Казань, 6-9 февраля 2014г.). Вып.16. Интеллект. Язык. Компьютер. КФУ, АН РТ НИИ "Прикладная семиотика". Казан:изд-во "ФЕН", 2014
-
Елизаров А.М., Жильцов Н.Г., Кириллович А.В., Липачёв Е.К., Невзорова О.А., Соловьев В.Д.
Онтологии математических знаний и их применение в науке и образовании // Материалы международной научно-практической конференции «Информационные технологии в образовании и науке (ИТОН – 2014)», 10-13 декабря 2014. –Казань, изд-во ФОЛИАНТ, 2014. – С.60-64.
2013
- Невзорова О.А., Кириллович А.В. Технологии связывания данных в пространстве Открытых данных на примере математической коллекции // В.В. Голенков и др. (ред). Материалы II Международной научно-технической конференции «Открытые семантические технологии проектирования интеллектуальных систем» (OSTIS-2013). БГУИР, 2013. C. 91-96.
-
Olga Nevzorova, Nikita Zhiltsov, Danila Zaikin, Olga Zhibrik, Alexander Kirillovich, Vladimir Nevzorov, Evgeniy Birialtsev. Bringing Math to LOD: A Semantic Publishing Platform Prototype for Scientific Collections in Mathematics // Harith Alani, et al. (eds.) Proceedings of the 12th International Semantic Web Conference (ISWC 2013). Lecture Notes in Computer Science, vol. 8218. Springer Berlin Heidelberg, 2013. Pp. 379-394.
2012
2006
