ResearchTrend.AI
  • Communities
  • Connect sessions
  • AI calendar
  • Organizations
  • Join Slack
  • Contact Sales
Papers
Communities
Social Events
Terms and Conditions
Pricing
Contact Sales
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2026 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1408.6806
  4. Cited By
Mathematical Knowledge Representation: Semantic Models and Formalisms
v1v2 (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
ArXiv (abs)PDFHTML

Papers citing "Mathematical Knowledge Representation: Semantic Models and Formalisms"

3 / 3 papers shown
Synthesis of Mathematical programs from Natural Language Specifications
Synthesis of Mathematical programs from Natural Language Specifications
G. Prasath
Shirish S. Karande
240
12
0
30 Mar 2023
OntoMath${}^{\mathbf{PRO}}$ 2.0 Ontology: Updates of the Formal Model
OntoMathPRO{}^{\mathbf{PRO}}PRO 2.0 Ontology: Updates of the Formal ModelLobachevskii 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
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