31 citations · 149 across the 30 of their papers we have counts for
4 papers · 1 filter
GF + MMT = GLF -- From Language to Semantics through LF
Michael Kohlhase, Jan Frederik Schaefer
These days, vast amounts of knowledge are available online, most of it in written form. Search engines help us access this knowledge, but aggregating, relating and reasoning with i…
TGView3D System Description: 3-Dimensional Visualization of Theory Graphs
Richard Marcus, Michael Kohlhase, Florian Rabe
We describe TGView3D, an interactive 3D graph viewer optimized for exploring theory graphs. To exploit the three spatial dimensions, it extends a force-directed layout with a hiera…
The Theorem Prover Museum -- Conserving the System Heritage of Automated Reasoning
Michael Kohlhase
We present the Theorem Prover Museum, and initiative to conserve -- and make publicly available -- the sources and source-related artefacts of automated reasoning systems. Theorem…
Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal
Jacques Carette, William M. Farmer, Michael Kohlhase +1
Over the last decades, a class of important mathematical results have required an ever increasing amount of human effort to carry out. For some, the help of computers is now indisp…