Knowledge-based interoperability for mathematical software systems

DOI10.1007/978-3-319-72453-9_14MaRDI QIDQ4628490zbMATH OpenOpenAlexWikidataFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(6)

• A Knowledge Repository for Indefinite Integration Based on Transformation Rules
• Interoperability in the OpenDreamKit project: the math-in-the-middle approach
• scientific article; zbMATH DE number 622673 (Why is no real title available?)
• Building Mathematics-Based Software Systems to Advance Science and Create Knowledge
• Knowledge amalgamation for computational science and engineering
• Integrating semantic mathematical documents and dynamic notebooks

Describes a project that uses

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)