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

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Interoperability in the OpenDreamKit project: the Math-in-the-Middle approach'. Together they form a unique fingerprint.

Computer Science

Mathematics