Affiliation:
1. N. I. Lobachevskii Institute of Mathematics and Mechanics KFU
2. Joint Supercomputer Center of the Russian Academy of Sciences in Kazan
Abstract
New directions of development of the digital ecosystem OntoMath, which is the technological basis of the digital mathematical library Lobachevskii DML, are presented. One of the directions is related to the development of specialized ontologies in the field of mathematics: new results of designing the ontology of professional mathematical knowledge OntoMathPRO and educational ontology OntoMathEdu are highlighted. The results are also given in the direction of creating services and tools for managing of digital mathematical collections.
Publisher
Keldysh Institute of Applied Mathematics
Reference31 articles.
1. Developing a 21st century global library for mathematics research. Washington, D.C.: The National Academies Press, 2014. 131 p.
2. Елизаров А.М., Липачёв Е.К., Малахальцев М.А. Вебтехнологии для математика: основы MathML Практическое руководство. М.: ФИЗМАТЛИТ, 2010. 192 с.
3. Carette J., Farmer W.M., Kohlhase M., Rabe F. Big Math and the One-Brain Barrier: The Tetrapod Model of Mathematical Knowledge // Math Intelligencer. 2021. V. 43. P. 78–87. https://doi.org/10.1007/s00283-020-10006-0
4. Berčič K, Carette J., Farmer W.M., Kohlhase M., Dennis Müller D., Rabe F., Sharoda Y. The Space of Mathematical Software Systems – A Survey of Paradigmatic Systems // arXiv: 2002.04955v1 [cs.MS] 12 Feb 2020.
5. Kohlhase M., Sucan I. A Search Engine for Mathematical Formulae // In: Calmet J., Ida T., Wang D. (Eds.) Artificial Intelligence and Symbolic Computation. AISC 2006. Lecture Notes in Computer Science. Springer, Berlin, Heidelberg, 2006. V. 4120. P. 241–253. https://doi.org/10.1007/11856290_21
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献