OntoMath$${}^{\mathbf{PRO}}$$ 2.0 Ontology: Updates of Formal Model-Reference-Cited by-同舟云学术

OntoMath$${}^{\mathbf{PRO}}$$ 2.0 Ontology: Updates of Formal Model

Published:2022-12 Issue:12 Volume:43 Page:3504-3514
ISSN:1995-0802
Container-title:Lobachevskii Journal of Mathematics
language:en
Short-container-title:Lobachevskii J Math

Author:

Kirillovich A. V.,Nevzorova O. A.,Lipachev E. K.

Publisher

Pleiades Publishing Ltd

Subject

General Mathematics

Link

https://link.springer.com/content/pdf/10.1134/S1995080222150136.pdf

Reference40 articles.

1. S. Buswell et al., The OpenMath Standard. Version 2.0r2 (The OpenMath Soc., 2019). https://openmath.org/standard/om20-2019-07-01/omstd20.html.

2. M. Kohlhase and F. Rabe, ‘‘Semantics of OpenMath and MathML3,’’ Math. Comput. Sci. 6, 235–260 (2012). https://doi.org/10.1007/s11786-012-0113-x

3. D. Carlisle et al., Mathematical Markup Language (MathML), Version 3.0, 2nd ed. (W3C Recommendation, 2014). https://www.w3.org/TR/MathML3/chapter4.html.

4. M. Kohlhase, OMDoc—An Open Markup Format for Mathematical Documents, Version 1.2 (Springer, 2006).

5. K. Wenzel, ‘‘OpenMath-RDF: RDF encodings for OpenMath objects and content dictionaries,’’ in Proceedings of the 31th OpenMath Workshop at CICM 2021. https://easychair.org/publications/preprint_open/XQwn.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Lingvodidactic projection of the social and humanitarian sphere in the contour of artificial intelligence;2024-07-08

2. A system for automatic construction of knowledge graphs of mathematical documents;Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki;2024-01-12

3. New components of the OntoMathPRO ontology for representing math knowledge;Proceedings of 25th Scientific Conference “Scientific Services & Internet – 2023”;2023