2 citations · 4 across the 5 of their papers we have counts for
5 papers
Search Interfaces for Mathematicians
Andrea Kohlhase
Access to mathematical knowledge has changed dramatically in recent years, therefore changing mathematical search practices. Our aim with this study is to scrutinize professional m…
The Planetary System: Executable Science, Technology, Engineering and Math Papers
Christoph Lange, Michael Kohlhase, Catalin David +5
Executable scientific papers contain not just layouted text for reading. They contain, or link to, machine-comprehensible representations of the scientific findings or experiments…
What we understand is what we get: Assessment in Spreadsheets
Andrea Kohlhase, Michael Kohlhase
In previous work we have studied how an explicit representation of background knowledge associated with a specific spreadsheet can be exploited to alleviate usability problems with…
sTeX+ - a System for Flexible Formalization of Linked Data
Andrea Kohlhase, Michael Kohlhase, Christoph Lange
We present the sTeX+ system, a user-driven advancement of sTeX - a semantic extension of LaTeX that allows for producing high-quality PDF documents for (proof)reading and printing,…
Dimensions of Formality: A Case Study for MKM in Software Engineering
Andrea Kohlhase, Michael Kohlhase, Christoph Lange
We study the formalization of a collection of documents created for a Software Engineering project from an MKM perspective. We analyze how document and collection markup formats ca…