Lobachevskii DML: Towards a Semantic Digital Mathematical Library of Kazan University

The digital mathematical library Lobachevskii DML is one of the national initiatives that have emerged in the past decade in different countries of the world. During this time, the formed technical and organizational conditions allowed making mathematicians' dreams of a global World Digital Mathematical Library (WDML) a reality. Following the vision approved by the International Mathematical Union, we started the Lobachevskii DML project in 2017 - the year of the 225-th anniversary of the birth of the brilliant mathematician Nikolai Ivanovich Lobachevskii, the founder of non-Euclidean geometry, the rector of the Kazan University. The main task of Lobachevskii DML project is the development of tools for managing mathematical content, which take into account not only the specifics of mathematical texts, but also the features of processing Russian-language texts. A particular task of creating this digital library is the integration of mathematical resources of Kazan University