output
20062026
most citedThe Sariçiçek howardite fall in Turkey: Source crater of HED meteorites on Vesta and impact risk of Vestoids

48 citations

researchers with a paper here
collaborating institutions
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2014

Mathematical Knowledge Representation: Semantic Models and Formalisms

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…