Professur für Wissensrepräsentation und -verarbeitung

Workflows for the management of change in science, technologies, engineering and mathematics (2011) Autexier S, David C, Kohlhase M, Zholudev V Conference contribution, Original article The planetary system: Executable science, technology, engineering and math papers (2011) Lange-Bever C, Kohlhase M, David C, Ginev D, Kohlhase A, Matican B, Zholudev V Conference contribution, Original article Mathwebsearch 0.5 an open formula search engine (2011) Prodescu CC, Kohlhase M Conference contribution, Original article Licensing the Mizar mathematical library (2011) Kohlhase M, Urban J Conference contribution, Original article The LaTeXML daemon: Editable math on the collaborative web (2011) Ginev D, Stamerjohanns H, Kohlhase M, Miller B Conference contribution, Original article The planetary system: Web 3.0 & active documents for STEM (2011) Kohlhase M, Corneli J, David C, Ginev D, Jucovschi C, Kohlhase A, Lange-Bever C, et al. Conference contribution, Original article Using discourse context to interpret object-denoting mathematical expressions (2011) Kohlhase M Conference contribution, Conference Contribution Combining source, content, presentation, narration, and relational representation (2011) Horozal F, Iacob A, Jucovschi C, Kohlhase M, Rabe F Conference contribution, Original article A framework for semantic publishing of modular content objects (2011) David C, Ginev D, Kohlhase M, Matican B Conference contribution, Conference Contribution Towards a flexible notion of document context (2011) Kohlhase M, Kohlhase A Conference contribution, Conference Contribution