Kazan Federal University Digital Repository

Towards a Parallel Informal/Formal Corpus of Educational Mathematical Texts in Russian

Show simple item record

dc.contributor.author Kirillovich A.
dc.contributor.author Nevzorova O.
dc.contributor.author Nikolaev K.
dc.contributor.author Galiaskarova K.
dc.date.accessioned 2021-02-25T06:55:55Z
dc.date.available 2021-02-25T06:55:55Z
dc.date.issued 2020
dc.identifier.issn 2194-5357
dc.identifier.uri https://dspace.kpfu.ru/xmlui/handle/net/161552
dc.description.abstract © 2020, The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG. We present a semantically annotated corpus of educational mathematical texts in Russian. This corpus consists of mathematical statements extracted from educational mathematical textbooks, manually annotated by its formula representation in LaTeX and by formalization of the formula in OpenMath. The corpus is intended to be used as training and test collections for automatic formalization of educational mathematical documents. We are going to adopt it in the development of the components of a new digital educational platform, which is intended for solving such tasks as automatic knowledge testing and automatic recommendation of educational materials according to an individual study plan. We hope, that our work can help to build bridges between formalized mathematics and digital education domains.
dc.relation.ispartofseries Advances in Intelligent Systems and Computing
dc.subject Corpus
dc.subject Mathematics
dc.subject Ontology
dc.subject OntoMath Edu
dc.subject OpenMath
dc.title Towards a Parallel Informal/Formal Corpus of Educational Mathematical Texts in Russian
dc.type Conference Paper
dc.relation.ispartofseries-volume 1127 AISC
dc.collection Публикации сотрудников КФУ
dc.relation.startpage 325
dc.source.id SCOPUS21945357-2020-1127-SID85079101500

Files in this item

This item appears in the following Collection(s)

  • Публикации сотрудников КФУ Scopus [24551]
    Коллекция содержит публикации сотрудников Казанского федерального (до 2010 года Казанского государственного) университета, проиндексированные в БД Scopus, начиная с 1970г.

Show simple item record

Search DSpace

Advanced Search


My Account