Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach-Reference-Cited by-同舟云学术

Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach

Published:2016 Issue: Volume: Page:117-131
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Dehaye Paul-Olivier,Iancu Mihnea,Kohlhase Michael,Konovalov Alexander,Lelièvre Samuel,Müller Dennis,Pfeiffer Markus,Rabe Florian,Thiéry Nicolas M.,Wiesing Tom

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-42547-4_9

Reference24 articles.

1. Ausbrooks, R.: Mathematical Markup Language (MathML) v. 2.0. In: World Wide Web Consortium Recommendation (2003)

2. Breuer, T., Linton, S.: The GAP 4 type system: organising algebraic algorithms. In: Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC 1998, pp. 38–45. ACM

3. Buswell, S., et al.: The Open Math standard. Technical report Version 2.0. The Open Math Society (2004)

4. Caprotti, O., Dewar, M., Turi, D.: Mathematical Ser vice Matching Using Description Logic and OWL. Technical report, The MONET Consortium (2004)

5. The Sage Developers. SageMath the Sage Mathematics Software System (Version 7.0) (2016). http://www.sagemath.org

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

1. OntoMathEdu Educational Ontology: Problems of Ontological Engineering;Pattern Recognition and Image Analysis;2023-09

2. OntoMath$${}^{\mathbf{PRO}}$$ 2.0 Ontology: Updates of Formal Model;Lobachevskii Journal of Mathematics;2022-12

3. Chaldene: Towards Visual Programming Image Processing in Jupyter Notebooks;2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC);2022-09-12

4. A Survey of Languages for Formalizing Mathematics;Lecture Notes in Computer Science;2020

5. OntoMath$${}^{Edu}$$: A Linguistically Grounded Educational Mathematical Ontology;Lecture Notes in Computer Science;2020