Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Paul-Olivier Dehaye, Mihnea Iancu, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Tom Wiesing. Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. In Michael Kohlhase, Moa Johansson, Bruce R. Miller, Leonardo de de Moura, Frank Wm. Tompa, editors, Intelligent Computer Mathematics - 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings. Volume 9791 of Lecture Notes in Computer Science, pages 117-131, Springer, 2016. [doi]

This author has not been identified. Look up 'Paul-Olivier Dehaye' in GoogleThis author has not been identified. Look up 'Mihnea Iancu' in GoogleThis author has not been identified. Look up 'Michael Kohlhase' in GoogleThis author has not been identified. Look up 'Alexander Konovalov' in GoogleThis author has not been identified. Look up 'Samuel Lelièvre' in GoogleThis author has not been identified. Look up 'Dennis Müller' in GoogleThis author has not been identified. Look up 'Markus Pfeiffer' in GoogleThis author has not been identified. It may be one of the following persons:

Florian Rabe

Look up 'Florian Rabe' in GoogleThis author has not been identified. Look up 'Nicolas M. Thiéry' in GoogleThis author has not been identified. Look up 'Tom Wiesing' in Google

runs on WebDSL