Prof. Dr. Michael Kohlhase

Professur für Wissensrepräsentation und -verarbeitung

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 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 Knowledge-based interoperability for mathematical software systems (2017) Kohlhase M, de Feo L, Müller D, Pfeiffer M, Rabe F, Wiesing T Conference contribution Mathematical models as research data in numerical simulation of opto-electronic devices (2017) Koprucki T, Kohlhase M, Müller D, Tabelow K Conference contribution, Conference Contribution Mathematical models as research data via flexiformal theory graphs (2017) Kohlhase M, Koprucki T, Müller D, Tabelow K Conference contribution, Original article