research
∙
07/01/2020
Context Graphs for Legal Reasoning and Argumentation
We propose a new, structured, logic-based framework for legal reasoning ...
share
research
∙
05/05/2020
Making Isabelle Content Accessible in Knowledge Representation Formats
The libraries of proof assistants like Isabelle, Coq, HOL are notoriousl...
research
∙
05/05/2020
Experiences from Exporting Major Proof Assistant Libraries
The interoperability of proof assistants and the integration of their li...
research
∙
02/12/2020
The Space of Mathematical Software Systems – A Survey of Paradigmatic Systems
Mathematical software systems are becoming more and more important in pu...
research
∙
10/24/2019
GF + MMT = GLF – From Language to Semantics through LF
These days, vast amounts of knowledge are available online, most of it i...
research
∙
05/17/2019
TGView3D System Description: 3-Dimensional Visualization of Theory Graphs
We describe TGView3D, an interactive 3D graph viewer optimized for explo...
research
∙
04/23/2019
The Theorem Prover Museum -- Conserving the System Heritage of Automated Reasoning
We present the Theorem Prover Museum, and initiative to conserve -- and ...
research
∙
04/23/2019
Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal
Over the last decades, a class of important mathematical results have re...
research
∙
03/21/2016
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach
OpenDreamKit --- "Open Digital Research Environment Toolkit for the Adva...
research
∙
04/28/2010
Dimensions of Formality: A Case Study for MKM in Software Engineering
We study the formalization of a collection of documents created for a So...
research
∙
04/20/2010