1 paper · 1 filter
Alexander Elizarov, Alexander Kirillovich, Evgeny Lipachev +3
The paper provides a survey of semantic methods for solution of fundamental tasks in mathematical knowledge management. Ontological models and formalisms are discussed. We propose…