Professur für Wissensrepräsentation und -verarbeitung

Representing, archiving, and searching the space of mathematical knowledge (2014) Iancu M, Kohlhase M, Prodescu CC Conference contribution, Original article OpenMath language extensions (2014) Kohlhase M Conference contribution, Conference Contribution EDEN -- An Epigraphic Web Database of Ancient Inscriptions (2014) Scholz M, Holdenried M, Dreyer B, Görz G Conference contribution System description: MathHub.info (2014) Iancu M, Jucovschi C, Kohlhase M, Wiesing T Conference contribution, Original article Realms: A structure for consolidating knowledge about mathematical theories (2014) Carette J, Farmer W, Kohlhase M Conference contribution, Original article Flexary operators for formalized mathematics (2014) Horozal F, Rabe F, Kohlhase M Conference contribution, Original article Extension proposal: Records in pragmatic open math (2014) Kohlhase M Conference contribution, Conference Contribution Discourse-level parallel markup and meaning adoption in flexiformal theory graphs (2014) Kohlhase M, Iancu M Conference contribution, Original article A data model and encoding for a semantic, multilingual terminology of mathematics (2014) Kohlhase M Conference contribution Semantic Annotation for Medieval Cartography: The Example of the Behaim Globe of 1492 (2013) Görz G, Scholz M Journal article