KFU. Card publication. Semantic Formula Search in Digital Mathematical Libraries

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

SEMANTIC FORMULA SEARCH IN DIGITAL MATHEMATICAL LIBRARIES

Form of presentation

Conference proceedings in international journals and collections

Year of publication

2017

Язык

английский

Authors, employees of KFU

Elizarov Aleksandr Mikhaylovich, author

Kirillovich Aleksandr Vitalevich, author

Lipachev Evgeniy Konstantinovich, author

Nevzorova Olga Avenirovna, author

Bibliographic description in the original language

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.

Annotation

Proceedings of the 2nd Russia and Pacific Conference on Computer Technology and Applications (RPC 2017)

Keywords

mathematical content search, semantic search, mathematical formulas search, information retrieval, World Digital Mathematical Library, OntoMath ecosystem

The name of the journal

Proceedings of the 2nd Russia and Pacific Conference on Computer Technology and Applications (RPC 2017)

URL

http://ieeexplore.ieee.org/document/8168063/

Please use this ID to quote from or refer to the card

https://repository.kpfu.ru/eng/?p_id=169866&p_lang=2

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	2017-01-01T00:00:00Z	ru_RU
dc.date.available	2017-01-01T00:00:00Z	ru_RU
dc.date.issued	2017	ru_RU
dc.identifier.citation	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.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=169866&p_lang=2	ru_RU
dc.description.abstract	Proceedings of the 2nd Russia and Pacific Conference on Computer Technology and Applications (RPC 2017)	ru_RU
dc.description.abstract	We are presenting semantic methods of search for mathematical objects in scientific publications. In particular, methods of search for mathematical formulas, as well as methods based on the logical structure of mathematical documents, are being discussed here. Based on the digital mathematical library Lobachevskii DML, created at Kazan Federal University in 2017, declared as Lobachevsky Year, we developed and tested new methods of search in digital collections of mathematical documents.	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	mathematical content search	ru_RU
dc.subject	semantic search	ru_RU
dc.subject	mathematical formulas search	ru_RU
dc.subject	information retrieval	ru_RU
dc.subject	World Digital Mathematical Library	ru_RU
dc.subject	OntoMath ecosystem	ru_RU
dc.title	Semantic Formula Search in Digital Mathematical Libraries	ru_RU
dc.type	Conference proceedings in international journals and collections	ru_RU