Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-42547-4_9 ◽

2016 ◽

pp. 117-131 ◽

Author(s):

Paul-Olivier Dehaye ◽

Mihnea Iancu ◽

Michael Kohlhase ◽

Alexander Konovalov ◽

Samuel Lelièvre ◽

...

Download Full-text