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

DOI10.1007/978-3-319-42547-4_9zbMath1344.68268DBLPconf/mkm/DehayeIKKLMPRTW16arXiv1603.06424OpenAlexW2307748776WikidataQ57389301 ScholiaQ57389301MaRDI QIDQ2817298

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

Publication date: 30 August 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1603.06424

Mathematics Subject Classification ID

Knowledge representation (68T30) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Related Items (4)

Software citations, information systems, and beyond ⋮ \(\text{OntoMath}^{\text{PRO}}\) 2.0 ontology: updates of formal model ⋮ DiscreteZOO: a fingerprint database of discrete objects ⋮ OpenDreamKit

Uses Software

• GAP
• SageMath
• SCSCP
• MMT
• OMDoc
• LMFDB
• GAPDoc
• GitHub

Cites Work

• Unnamed Item
• Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8--12, 2013. Proceedings
• A scalable module system
• OpenMath in SCIEnce: SCSCP and POPCORN
• A Foundational View on Integration Problems
• Mathematical Knowledge Management

This page was built for publication: Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach