Prof. Dr. Michael Kohlhase

Professur für Wissensrepräsentation und -verarbeitung

Mathematical models as research data via flexiformal theory graphs (2017) Kohlhase M, Koprucki T, Müller D, Tabelow K Conference contribution, Original article A Flexible, Interactive Theory-Graph Viewer (2017) Müller D, Kohlhase M, Rupprecht M Conference contribution, Conference Contribution Virtual Theories -- A Uniform Interface to Mathematical Knowledge Bases (2017) Wiesing T, Kohlhase M, Rabe F, Kohlhase M Conference contribution, Original article Visual structure in mathematical expressions (2017) Kohlhase M, Kohlhase A, Fürsich M Conference contribution, Original article Software citations, information systems, and beyond (2017) Kohlhase M, Sperber W Conference contribution, Original article Interoperability in the OpenDreamKit project: The math-in-the-middle approach (2016) Müller D, Wiesing T, Thiery N, Dehaye P, Iancu M, Kohlhase M, Konovalov A, et al. Conference contribution, Original article The SMGloM project and system: Towards a terminology and ontology for mathematics (2016) Ginev D, Jucovschi C, Kohlhase A, Kohlhase M, Wiesing T Authored book, Volume of book series Faceted search for mathematics (2016) Hambasan R, Kohlhase M Conference contribution, Original article Formula semantification and automated relation finding in the on-line encyclopedia for integer sequences (2016) Luzhnica E, Kohlhase M Conference contribution, Original article QED reloaded: Towards a pluralistic formal library of mathematical knowledge (2016) Kohlhase M, Rabe F Journal article, Original article