31 citations · 149 across the 30 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.MS2014
Realms: A Structure for Consolidating Knowledge about Mathematical Theories
Jacques Carette, William M. Farmer, Michael Kohlhase
Since there are different ways of axiomatizing and developing a mathematical theory, knowledge about a such a theory may reside in many places and in many forms within a library of…
cs.DB2014★ 3 cited
XLSearch: A Search Engine for Spreadsheets
Michael Kohlhase, Corneliu Prodescu, Christian Liguda
Spreadsheets are end-user programs and domain models that are heavily employed in administration, financial forecasting, education, and science because of their intuitive, flexible…