OpenDreamKit (OpenDreamKit)

Third Party Funds Group - Sub project


Acronym: OpenDreamKit

Start date : 01.09.2015

End date : 31.08.2019

close-button

Types of publications

Journal article
Book chapter / Article in edited volumes
Authored book
Translation
Thesis
Edited Volume
Conference contribution
Other publication type
Unpublished / Preprint

Publication year

From
To

Abstract

Journal

Math object identifiers - Towards research data in mathematics (2017) Kohlhase M Conference contribution, Conference Contribution Classification of alignments between concepts of formal mathematical systems (2017) Kohlhase M, Müller D, Rabe F, Kaliszyk C, Gauthier T Conference contribution, Original article A Flexible, Interactive Theory-Graph Viewer (2017) Müller D, Kohlhase M, Rupprecht M Conference contribution, Conference Contribution Virtual Theories -- A Uniform Interface to Mathematical Knowledge Bases (2017) Wiesing T, Kohlhase M, Rabe F, Kohlhase M Conference contribution, Original article Software citations, information systems, and beyond (2017) Kohlhase M, Sperber W Conference contribution, Original article OMDoc - An open markup format for mathematical documents [version 1.2] (2006) Kohlhase M Authored book