| Форма представления | Статьи в зарубежных журналах и сборниках |
| Год публикации | 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 |
| Аннотация |
The paper provides a survey of semantic methods for solution of fundamental tasks in mathematical knowledge management. Ontological models and formalisms are discussed. We propose an ontology of mathematical knowledge, covering a wide range of fields of mathematics. We demonstrate applications of this representation in mathematical formula search, and learning. |
| Ключевые слова |
Ontology engineering, mathematical knowledge, metadata extraction, information retrieval, math formula search |
| Название журнала |
Lobachevskii Journal of Mathematics
|
| URL |
http://link.springer.com/article/10.1134/S1995080214040143 |
| Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку |
https://repository.kpfu.ru/?p_id=85915 |
| Файлы ресурса | |
|
|
Полная запись метаданных  |
| Поле DC |
Значение |
Язык |
| dc.contributor.author |
Елизаров Александр Михайлович |
ru_RU |
| dc.contributor.author |
Жильцов Никита Геннадьевич |
ru_RU |
| dc.contributor.author |
Кириллович Александр Витальевич |
ru_RU |
| dc.contributor.author |
Липачев Евгений Константинович |
ru_RU |
| dc.contributor.author |
Невзорова Ольга Авенировна |
ru_RU |
| dc.contributor.author |
Соловьев Валерий Дмитриевич |
ru_RU |
| dc.date.accessioned |
2014-01-01T00:00:00Z |
ru_RU |
| dc.date.available |
2014-01-01T00:00:00Z |
ru_RU |
| dc.date.issued |
2014 |
ru_RU |
| dc.identifier.citation |
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 |
ru_RU |
| dc.identifier.uri |
https://repository.kpfu.ru/?p_id=85915 |
ru_RU |
| dc.description.abstract |
Lobachevskii Journal of Mathematics |
ru_RU |
| dc.description.abstract |
The paper provides a survey of semantic methods for solution of fundamental tasks in mathematical knowledge management. Ontological models and formalisms are discussed. We propose an ontology of mathematical knowledge, covering a wide range of fields of mathematics. We demonstrate applications of this representation in mathematical formula search, and learning. |
ru_RU |
| dc.language.iso |
ru |
ru_RU |
| dc.subject |
Ontology engineering |
ru_RU |
| dc.subject |
mathematical knowledge |
ru_RU |
| dc.subject |
metadata extraction |
ru_RU |
| dc.subject |
information retrieval |
ru_RU |
| dc.subject |
math formula search |
ru_RU |
| dc.subject |
Ontology engineering |
ru_RU |
| dc.subject |
mathematical knowledge |
ru_RU |
| dc.subject |
metadata extraction |
ru_RU |
| dc.subject |
information retrieval |
ru_RU |
| dc.subject |
math formula search |
ru_RU |
| dc.title |
Mathematical knowledge representation: semantic models and formalisms |
ru_RU |
| dc.type |
Статьи в зарубежных журналах и сборниках |
ru_RU |
|
EN 
中文 
ES 
Карта сайта
