Methods and means for semantic structuring of electronic mathematical documents
From MaRDI portal
Publication:5892223
DOI10.1134/S1064562414050275zbMath1353.68288OpenAlexW2013227301MaRDI QIDQ5892223
Ol'Ga Nikolaevna Zhibrik, N. G. Zhiltsov, O. A. Nevzorova, Vladimir Nikolaevich Nevzorov, Alexander Kirillovich, E. V. Biryal'tsev, Danila Aleksandrovna Zaikin
Publication date: 11 January 2017
Published in: Doklady Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1134/s1064562414050275
Knowledge representation (68T30) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Information storage and retrieval of data (68P20)
Related Items
Uses Software
