Andrea Kohlhase

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Discourse phenomena in mathematical documents	2018-10-18	Paper
Visual structure in mathematical expressions	2017-07-21	Paper
The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics Mathematical Software – ICMS 2016	2016-09-28	Paper
Math web search interfaces and the generation gap of mathematicians Mathematical Software – ICMS 2014	2014-09-08	Paper
Search Interfaces for Mathematicians Lecture Notes in Computer Science	2014-08-07	Paper
Semantic alliance: a framework for semantic allies Lecture Notes in Computer Science	2012-09-07	Paper
Dimensions of formality: a case study for MKM in software engineering Lecture Notes in Computer Science	2010-08-24	Paper
Spreadsheet Interaction with Frames: Exploring a Mathematical Practice Lecture Notes in Computer Science	2009-07-09	Paper
Compensating the Computational Bias of Spreadsheets with MKM Techniques Lecture Notes in Computer Science	2009-07-09	Paper
Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch Towards Mechanized Mathematical Assistants	2007-11-28	Paper
Communities of Practice in MKM: An Extensional Model Lecture Notes in Computer Science	2007-09-05	Paper
Mathematical Knowledge Management Lecture Notes in Computer Science	2007-02-12	Paper
Mathematical Knowledge Management Lecture Notes in Computer Science	2005-08-26	Paper

Research outcomes over time

This page was built for person: Andrea Kohlhase