Nikita Zhiltsov | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat AI Photo Editor

Featured Co-authors

Christoph Lange
14 publications
Michael Kohlhase
11 publications
Florian Rabe
11 publications
Alexander Kirillovich
5 publications
Evgeny Lipachev
4 publications
Olga Nevzorova
4 publications
Valery Solovyev
2 publications
Alexander Elizarov
2 publications
Catalin David
1 publication
Vyacheslav Zholudev
1 publication

research

∙ 08/28/2014

Mathematical Knowledge Representation: Semantic Models and Formalisms

The paper provides a survey of semantic methods for solution of fundamen...

0 Alexander Elizarov, et al. ∙

research

∙ 07/17/2014

OntoMath^PRO Ontology: A Linked Data Hub for Mathematics

In this paper, we present an ontology of mathematical knowledge concepts...

0 Olga Nevzorova, et al. ∙

research

∙ 04/20/2010

Publishing Math Lecture Notes as Linked Data

We mark up a corpus of LaTeX lecture notes semantically and expose them ...

0 Catalin David, et al. ∙