Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach
From MaRDI portal
Publication:2817298
DOI10.1007/978-3-319-42547-4_9zbMath1344.68268arXiv1603.06424WikidataQ57389301 ScholiaQ57389301MaRDI QIDQ2817298
Olexandr Konovalov, Michael Kohlhase, Florian Rabe, Markus Pfeiffer, Samuel Lelièvre, Paul-Olivier Dehaye, Dennis Müller, Mihnea Iancu, Nicolas Marc Thiéry, Tom Wiesing
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
68T30: Knowledge representation
68U35: Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.)
Related Items
Uses Software