Kazan Federal University Digital Repository

Browsing Научные ресурсы и учебно-методические пособия by Author "Lipachev Evgeny Konstantinovich"

Browsing Научные ресурсы и учебно-методические пособия by Author "Lipachev Evgeny Konstantinovich"

Sort by: Order: Results:

  • 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 ...

Search DSpace


Advanced Search

Browse

My Account