Communication dans un congrès, GALaC, Computer Science, Logiciel mathématique, Mathematical Software

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

Thiéry M. Nicolas, Paul-Olivier Dehaye, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, et al.. Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. CICM'16, Jul 2016, Białystok, Poland. ⟨10.1007/978-3-319-42547-4_9⟩. ⟨hal-01611491⟩

Published on