Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1408.6806
Cited By
v1
v2 (latest)
Mathematical Knowledge Representation: Semantic Models and Formalisms
Lobachevskii Journal of Mathematics (Lobachevskii J. Math.), 2014
28 August 2014
A. Elizarov
A. V. Kirillovich
E. Lipachev
O. Nevzorova
V. D. Solovyev
Nikita Zhiltsov
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Mathematical Knowledge Representation: Semantic Models and Formalisms"
3 / 3 papers shown
Synthesis of Mathematical programs from Natural Language Specifications
G. Prasath
Shirish S. Karande
240
12
0
30 Mar 2023
OntoMath
P
R
O
{}^{\mathbf{PRO}}
PRO
2.0 Ontology: Updates of the Formal Model
Lobachevskii Journal of Mathematics (Lobachevskii J. Math.), 2022
A. V. Kirillovich
O. Nevzorova
E. Lipachev
VLM
44
0
0
17 Mar 2023
OntoMath Digital Ecosystem: Ontologies, Mathematical Knowledge Analytics and Management
A. Elizarov
A. V. Kirillovich
E. Lipachev
O. Nevzorova
107
2
0
16 Feb 2017
1
Page 1 of 1