7 citations · 58 across the 20 of their papers we have counts for
4 papers · 1 filter
A Survey of Languages for Formalizing Mathematics
Cezary Kaliszyk, Florian Rabe
In order to work with mathematical content in computer systems, it is necessary to represent it in formal languages. Ideally, these are supported by tools that verify the correctne…
Making Isabelle Content Accessible in Knowledge Representation Formats
Michael Kohlhase, Florian Rabe, Makarius Wenzel
The libraries of proof assistants like Isabelle, Coq, HOL are notoriously difficult to interpret by external tools: de facto, only the prover itself can parse and process them adeq…
Experiences from Exporting Major Proof Assistant Libraries
Michael Kohlhase, Florian Rabe
The interoperability of proof assistants and the integration of their libraries is a highly valued but elusive goal in the field of theorem proving. As a preparatory step, in previ…
The Space of Mathematical Software Systems -- A Survey of Paradigmatic Systems
Katja Bercic, Jacques Carette, William M. Farmer +4
Mathematical software systems are becoming more and more important in pure and applied mathematics in order to deal with the complexity and scalability issues inherent in mathemati…