Электронный архив

Просмотр Институты и другие подразделения по автору "Lipachev Evgeny Konstantinovich"

Просмотр Институты и другие подразделения по автору "Lipachev Evgeny Konstantinovich"

Отсортировать по:Сортировать:Результаты поиска на странице:

  • Digital Mathematical Libraries: Overview of Implementations and Content Management Services 
    Elizarov Aleksandr Mihajlovich; Lipachev Evgeny Konstantinovich; Zuev Denis Sergeevich (2017)
    The paper gives a review of existing projects of implementation of digital mathematical libraries. An analysis of existing information systems of digital mathematical libraries is performed using the evaluation criteria ...
  • Lobachevskii DML: Towards a Semantic Digital Mathematical Library of Kazan University 
    Elizarov Aleksandr Mihajlovich; Lipachev Evgeny Konstantinovich (2017)
    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 ...
  • Metadata Normalization Methods in the Digital Mathematical Library 
    Gafurova Polina Olegovna; Elizarov Aleksandr Mihajlovich; Lipachev Evgeny Konstantinovich; Khammatova Diana Maratovna (2019)
    Methods for the automatic generation of metadata for documents in digital mathematical collections in the formats of international resource aggregators in mathematics and Computer Science are proposed. Metadata normalization ...
  • Methods of Processing Large Collections of Scientific Documents and the Formation of Digital Mathematical Library 
    Elizarov Aleksandr Mihajlovich; Lipachev Evgeny Konstantinovich (2020)
    Digital mathematical libraries are today one of the tools for integrating mathematical knowledge. This integration method is based on the use of metadata. Our task was to create methods to programmatically extract the ...
  • OntoMath Digital Ecosystem: Ontologies, Mathematical Knowledge Analytics and Management 
    Elizarov Aleksandr Mihajlovich; Kirillovich Alexander Vitalevich; Lipachev Evgeny Konstantinovich; Nevzorova Olga Avenirovna (2017)
    We consider the basic ideas, approaches and results of developing of mathematical knowledge management technologies based on ontologies. These solutions form the basis of a specialized digital ecosystem OntoMath which ...
  • OntoMath(PRO): Ontology of Mathematical Knowledge 
    Elizarov Aleksandr Mihajlovich; Kirillovich Alexander Vitalevich; Lipachev Evgeny Konstantinovich; Nevzorova Olga Avenirovna (2022)
    This article presents the first Semantic Web ontology of professional mathematical knowledge OntoMathPRO. The ontology is designed to classify and systematize mathematical concepts. OntoMathPRO ontology concepts are ...
  • OntoMathEdu Educational Mathematical Ontology: Prerequisites, Educational Levels and Educational Projections 
    Falileeva Marina Viktorovna; Kirillovich Alexander Vitalevich; Nevzorova Olga Avenirovna; Shakirova Liliana Rafikovna; Lipachev Evgeny Konstantinovich; Dyupina Anastasiya Eduardovna (2020)
    The work is dedicated to development of prerequisite relationships of the educational mathematical ontology OntoMathEdu. The concept A is called a prerequisite for the concept B, if a learner must study the concept A ...
  • OntoMathEdu: Towards an Educational Mathematical Ontology 
    Kirillovich Alexander Vitalevich; Nevzorova Olga Avenirovna; Falileeva Marina Viktorovna; Lipachev Evgeny Konstantinovich; Shakirova Liliana Rafikovna (2020)
    Currently, OntoMathEdu covers Euclidean plane geometry only, but we plan to extend it to the whole secondary school mathematics curriculum. We consider our work as a part of long-established trend of using Linked Open Data ...
  • Scientific documents ontologies for semantic representation of digital libraries 
    Elizarov Aleksandr Mihajlovich; Hajdarov Shamil Mahmutovich; Lipachev Evgeny Konstantinovich (2017)
    We present a system of services for the automatic processing of collections of scientific documents that are part of digital libraries. These services are based on ontologies for scientific documents representation, as ...
  • Semantic formula search in digital mathematical libraries 
    Elizarov Aleksandr Mihajlovich; Kirillovich Alexander Vitalevich; Lipachev Evgeny Konstantinovich; Nevzorova Olga Avenirovna (2017)
    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 ...

Поиск в электронном архиве


Расширенный поиск

Просмотр

Моя учетная запись