Knowledge-based interoperability for mathematical software systems - Kohlhase, Michael; de Feo, Luca; Müller, Dennis; Pfeiffer, Marcus; Rabe, Florian; Wiesing, Tom; et al. (7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017, 2017)