Knowledge-based interoperability for mathematical software systems

DOI10.1007/978-3-319-72453-9_14zbMATH Open1497.68551OpenAlexW2778528620WikidataQ57389274 ScholiaQ57389274MaRDI QIDQ4628490FDOQ4628490

Authors: Michael Kohlhase, Luca De Feo, Dennis Müller, Markus Pfeiffer, Florian Rabe, Tom Wiesing, Nicolas Thiéry, V. V. Vasil'yev 

Publication date: 14 March 2019

Published in: Mathematical Aspects of Computer and Information Sciences (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10023/12491

Recommendations

• Interoperability in the OpenDreamKit project: the math-in-the-middle approach
• Mathematical computing on network
• Symbolic Computation Software Composability
• Integrating semantic mathematical documents and dynamic notebooks
• Towards the Mathematics Software Bus

Mathematics Subject Classification ID

Mathematical knowledge management (68V30) Digital mathematics libraries and repositories (68V35)

Cited In (6)

• Title not available (Why is that?)
• Building Mathematics-Based Software Systems to Advance Science and Create Knowledge
• A Knowledge Repository for Indefinite Integration Based on Transformation Rules
• Knowledge amalgamation for computational science and engineering
• Integrating semantic mathematical documents and dynamic notebooks
• Interoperability in the OpenDreamKit project: the math-in-the-middle approach

Uses Software

• GAP
• SageMath
• SINGULAR
• MMT
• OMDoc
• OpenDreamKit
• MathInTheMiddle
• Jupyter Notebook

This page was built for publication: Knowledge-based interoperability for mathematical software systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4628490)