Open Digital Research Environment Toolkit for the Advancement of Mathematics (OpenDreamKit)
Third Party Funds Group - Overall project
Acronym:
OpenDreamKit
Start date :
01.09.2015
End date :
31.08.2019
Website:
http://opendreamkit.org
Math object identifiers - Towards research data in mathematics (2017)
Kohlhase M
Conference contribution, Conference Contribution
Knowledge-Based Interoperability for Mathematical Software Systems (2017)
Kohlhase M, Müller D, Pfeiffer M, Rabe F, Thiery N, Vasilyev V, Wiesing 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