Search filters

List of works by Florian Rabe

(Deep) FAIR mathematics

scientific article published in 2020

A Foundational View on Integration Problems

A Modular Type Reconstruction Algorithm

scholarly article

A Proof Theoretic Interpretation of Model Theoretic Hiding

article published in 2012

A Survey of Languages for Formalizing Mathematics

scientific article

A Universal Machine for Biform Theory Graphs

A scalable module system

Classification of Alignments Between Concepts of Formal Mathematical Systems

Combining Source, Content, Presentation, Narration, and Relational Representation

Extending MKM Formats at the Statement Level

Flexary Operators for Formalized Mathematics

Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach

Knowledge-Based Interoperability for Mathematical Software Systems

Making PVS Accessible to Generic Services by Interpretation in a Universal Format

Notations for Living Mathematical Documents

Project Abstract: Logic Atlas and Integrator (LATIN)

Publishing Math Lecture Notes as Linked Data

Reasoning in simple type theory – Festschrift in honor of Peter B. Andrews on his 70th birthday, edited by Christoph Benzmüller, Chad E. Brown, Jörg Siekmann, and Richard Statman, Studies in Logic, vol. 17. College Publications, London, 2008, 454 pp

scientific article published in 2010

Semantics of OpenMath and MathML3

The Mizar Mathematical Library in OMDoc: Translation and Applications

Towards Knowledge Management for HOL Light

scientific article

Towards Logical Frameworks in the Heterogeneous Tool Set Hets

article

Towards MKM in the Large: Modular Representation and Scalable Software Architecture

scholarly article by Michael Kohlhase et al published 2010 in Lecture Notes in Computer Science

Virtual Theories – A Uniform Interface to Mathematical Knowledge Bases