DIGITAL LIBRARY
Log in
Author: Evgeny Lipachev ORCID 0000-0001-7789-2332
Total results: 3
Filter by year:
2
1
Filter by publication series:
ENRICHING THE STRUCTURE OF THE ONTOMATHPRO ONTOLOGY FOR REPRESENTING MATH KNOWLEDGE
O. Nevzorova orcid, A. Kirillovich orcid, E. Lipachev orcid, A. Elizarov orcid - ICERI2023 Proceedings - pages 8860-8866.
TOWARDS AN EDUCATIONAL MATHEMATICAL ONTOLOGY
A. Kirillovich, L. Shakirova, M. Falileeva, E. Lipachev - INTED2019 Proceedings - pages 6823-6829.
PROBLEMS AND SOLUTIONS IN THE DESIGN OF FORMAL TAXONOMY OF CONCEPTS OF GEOMETRY
L. Shakirova, M. Falileeva, A. Kirillovich, E. Lipachev - INTED2019 Proceedings - pages 6793-6801.