Kohlhase, M, De Feo, L, Müller, D, Pfeiffer, MJ
, Rabe, F, Thiéry, N, Vasilyev, V & Wiesing, T 2017, Knowledge-based interoperability for mathematical software systems
. in J Blömer, I Kotsireas, T Kutsia & DE Simos (eds), Mathematical Aspects of Computer and Information Sciences: 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings.
Lecture Notes in Computer Science (Theoretical Computer Science and General Issues), vol. 10693, Springer, Cham, pp. 195-210, 7th International Conference on Mathematical Aspects of Computer and Information Sciences, Vienna, Austria, 15/11/17
. DOI: 10.1007/978-3-319-72453-9_14
Dehaye, P-O, Iancu, M, Kohlhase, M, Konovalov, A
, Lelièvre, S, Müller, D, Pfeiffer, M
, Rabe, F, Thiéry, NM & Wiesling, T 2016, Interoperability in the OpenDreamKit project: the Math-in-the-Middle approach
. in M Kohlhase, M Johansson, B Miller, L de Moura & F Tompa (eds), Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings.
Lecture Notes in Computer Science, vol. 9791, Springer, Cham, pp. 117-131, Conference on Intelligent Computer Mathematics 2016, Bialystok, Poland, 25/07/16
. DOI: 10.1007/978-3-319-42547-4_9