OpenDreamKit (OpenDreamKit)
Third Party Funds Group - Sub project
Acronym:
OpenDreamKit
Start date :
01.09.2015
End date :
31.08.2019
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