7 citations · 58 across the 20 of their papers we have counts for
3 papers · 1 filter
Rapid Prototyping Formal Systems in MMT: 5 Case Studies
Dennis Müller, Florian Rabe
Logical frameworks are meta-formalisms in which the syntax and semantics of object logics and related formal systems can be defined. This allows object logics to inherit implementa…
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…
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…