Knowledge-Based Interoperability for Mathematical Software Systems. - Michael Kohlhase; Luca De Feo; Dennis Müller 001; Markus Pfeiffer; Florian Rabe 001; Nicolas M. Thiéry; Victor Vasilyev; Tom Wiesing (MACIS, 2017)