Interoperability in the OpenDreamKit project : the Math-in-the-Middle approach

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Kohlhase, Michael; Rabe, Florian; Pfeiffer, Markus; Lelièvre, Samuel; Dehaye, Paul-Olivier; Müller, Dennis; Thiéry, Nicolas M.; Konovalov, Alexander; Iancu, Mihnea; Wiesling, Tom

Journal number: 1

Journal publisher: Research Repository St Andrews

Published year: 2016