Form of presentation | Conference proceedings in international journals and collections |
Year of publication | 2016 |
Язык | русский |
|
Elizarov Aleksandr Mikhaylovich, author
Kirillovich Aleksandr Vitalevich, author
Lipachev Evgeniy Konstantinovich, author
Nevzorova Olga Avenirovna, author
|
Bibliographic description in the original language |
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 |
Annotation |
CEUR Workshop Proceedings |
Keywords |
ontology, mathematics, WDML, OntoMath |
The name of the journal |
CEUR Workshop Proceedings
|
URL |
http://ceur-ws.org/Vol-1752/paper08.pdf |
Please use this ID to quote from or refer to the card |
https://repository.kpfu.ru/eng/?p_id=148959&p_lang=2 |
Resource files | |
|
Full metadata record  |
Field DC |
Value |
Language |
dc.contributor.author |
Elizarov Aleksandr Mikhaylovich |
ru_RU |
dc.contributor.author |
Kirillovich Aleksandr Vitalevich |
ru_RU |
dc.contributor.author |
Lipachev Evgeniy Konstantinovich |
ru_RU |
dc.contributor.author |
Nevzorova Olga Avenirovna |
ru_RU |
dc.date.accessioned |
2016-01-01T00:00:00Z |
ru_RU |
dc.date.available |
2016-01-01T00:00:00Z |
ru_RU |
dc.date.issued |
2016 |
ru_RU |
dc.identifier.citation |
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 |
ru_RU |
dc.identifier.uri |
https://repository.kpfu.ru/eng/?p_id=148959&p_lang=2 |
ru_RU |
dc.description.abstract |
CEUR Workshop Proceedings |
ru_RU |
dc.description.abstract |
This paper is discussed basic ideas, approaches and the results obtained in the research project the objective of which is to develop mathematical knowledge management technologies based on ontologies. We are developing the digital ecosystem OntoMath for mathematical knowledge management, which includes a set of specialized ontologies, text analytics tools and applications for managing mathematical knowledge. The results obtained are close to main problems declared in the World Digital Math Library (WDML) project. The main purpose of WDML is to build a global system of linked repositories for saving all digital mathematical documents, including contemporary and historic sources. This paper is devoted to decisions of some problems in this global initiative. In particular, we developed the program services for processing large collections of mathematical papers. |
ru_RU |
dc.language.iso |
ru |
ru_RU |
dc.subject |
ontology |
ru_RU |
dc.subject |
mathematics |
ru_RU |
dc.subject |
WDML |
ru_RU |
dc.subject |
OntoMath |
ru_RU |
dc.title |
Mathematical Knowledge Management: Ontological Models and Digital Technology |
ru_RU |
dc.type |
Conference proceedings in international journals and collections |
ru_RU |
|