Professur für Wissensrepräsentation und -verarbeitung

QED reloaded: Towards a pluralistic formal library of mathematical knowledge (2016) Kohlhase M, Rabe F Journal article, Original article 3XL News: A Cross-lingual News Aggregator and Reader (2015) Belyaeva E, Berčič J, Bercic K, Fuart F, Košmerlj A, Muhič A, Rehar A, et al. Conference contribution, Conference Contribution Faceted search for mathematics (2015) Hambasan R, Kohlhase M Conference contribution, Conference Contribution Math literate knowledge management via induced material (2015) Iancu M, Kohlhase M Conference contribution, Original article Importing the OEIS library into OMDoc (2015) Luzhnica E, Iancu M, Kohlhase M Conference contribution, Conference Contribution Context in spreadsheet comprehension (2015) Kohlhase M, Kohlhase A Conference contribution, Original article Assessment for spreadsheets (2015) Toader A, Kohlhase M, Kohlhase A Conference contribution, Original article A flexiformal model of knowledge dissemination and aggregation in mathematics (2015) Iancu M, Kohlhase M Conference contribution, Original article Towards Ontological Support for Principle Solutions in Mechanical Engineering (2014) Breitsprecher T, Codesci M, Jucovaschi C, Kohlhase M, Schröder L, Wartzack S Conference contribution, Conference Contribution Und Semantik wuchs in Eden - Eine Vorstellung und ein Erfahrungsbericht (2014) Scholz M, Holdenried M, Dreyer B, Görz G Conference contribution