apl. Prof. Dr. Florian Rabe

Professur für Wissensrepräsentation und -verarbeitung Technische Fakultät

Virtual theories – A uniform interface to mathematical knowledge bases (2017) Wiesing T, Kohlhase M, Rabe F Conference contribution, Original article Making PVS accessible to generic services by interpretation in a universal format (2017) Kohlhase M, Müller D, Owre S, Rabe F Conference contribution, Original article Knowledge-Based Interoperability for Mathematical Software Systems (2017) Kohlhase M, Müller D, Pfeiffer M, Rabe F, Thiery N, Vasilyev V, Wiesing T Conference contribution, Original article Classification of alignments between concepts of formal mathematical systems (2017) Kohlhase M, Müller D, Rabe F, Kaliszyk C, Gauthier T Conference contribution, Original article LFMTP: Proceedings of the Workshop on Logical Frameworks: Meta-Theory and Practice (2017) Rabe F Edited Volume Intelligent Computer Mathematics (2017) Rabe F Edited Volume A standard for aligning mathematical concepts (2017) Kaliszyk C, Kohlhase M, Müller D, Rabe F Conference contribution, Original article Knowledge-based interoperability for mathematical software systems (2017) Kohlhase M, de Feo L, Müller D, Pfeiffer M, Rabe F, Wiesing T Conference contribution Virtual Theories -- A Uniform Interface to Mathematical Knowledge Bases (2017) Wiesing T, Kohlhase M, Rabe F, Kohlhase M Conference contribution, Original article Alignment-based Translations Across Formal Systems Using Interface Theories (2017) Müller D, Rabe F, Rothgang C, Liu Y Conference contribution