TY  - RPRT
TI  - Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach
AU  - Paul-Olivier Dehaye
AU  - Michael Kohlhase
AU  - Alexander Konovalov
AU  - Samuel Lelièvre
AU  - Markus Pfeiffer
AU  - Nicolas M. Thiéry
PY  - 2016
DO  - 10.1007/978-3-319-42547-4_9
UR  - https://arxiv.org/abs/1603.06424
ID  - 1603.06424
ER  -