Professur für Wissensrepräsentation und -verarbeitung

Virtual theories – A uniform interface to mathematical knowledge bases (2017) Wiesing T, Kohlhase M, Rabe F Conference contribution, Original article Math object identifiers - Towards research data in mathematics (2017) Kohlhase M Conference contribution, Conference Contribution 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 FrameIT reloaded: Serious math games from modular math ontologies (2017) Kohlhase M, Müller D, Rochau D 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 Notation-based semantification (2017) Kohlhase M Conference contribution, Conference Contribution