Knowledge-Based Interoperability for Mathematical Software Systems - Kohlhase, Michael; Müller, Dennis; Pfeiffer, Markus; Rabe, Florian; Thiery, Nicolas; Vasilyev, Victor; Wiesing, Tom (MACIS 2017: Seventh International Conference on Mathematical Aspects of Computer and Information Sciences, 2017)