Virtual Theories – A Uniform Interface to Mathematical Knowledge Bases - Wiesing, Tom; Kohlhase, Michael; Rabe, Florian; Kohlhase, Michael (MACIS 2017: Seventh International Conference on Mathematical Aspects of Computer and Information Sciences, 2017)