Open Digital Research Environment Toolkit for the Advancement of Mathematics

Third Party Funds Group - Overall project


Project Details

Project leader:
Prof. Dr. Michael Kohlhase

Project members:
PD Dr. Florian Rabe
Tom Wiesing

Contributing FAU Organisations:
Professur für Wissensrepräsentation und -verarbeitung

Funding source: EU - 8. Rahmenprogramm - Horizon 2020
Acronym: OpenDreamKit
Start date: 01/09/2015
End date: 31/08/2019


Abstract (technical / expert description):


OpenDreamKit is a Horizon 2020 European Research Infrastructure project (#676541) that will run for four years, starting from September 2015. It provides substantial funding to the open source computational mathematics ecosystem, and in particular popular tools such as LinBox, MPIR, SageMath, GAP, Pari/GP, LMFDB, Singular, MathHub, and the IPython/Jupyter interactive computing environment.



From this ecosystem, OpenDreamKit will deliver a flexible toolkit enabling research groups to set up Virtual Research Environments, customised to meet the varied needs of research projects in pure mathematics and applications, and supporting the full research life-cycle from exploration, through proof and publication, to archival and sharing of data and code.



The project involves about 50 people spread over 16 sites in Europe, with a total budget of about 7.6 million euros. The largest portion of that will be devoted to employing an average of 11 researchers and developers working full time on the project. Additionally, the participants will contribute the equivalent of six other people working full time.


FAU Key Research Priorities
Electronics, Analytics and Digital Transformation

Sub projects:

OpenDreamKit


Publications

Müller, D., Kohlhase, M., & Rupprecht, M. (2017). A Flexible, Interactive Theory-Graph Viewer. In Proceedings of the CICM 2017.
Kohlhase, M., Müller, D., Pfeiffer, M., Rabe, F., Thiery, N., Vasilyev, V., & Wiesing, T. (2017). Knowledge-Based Interoperability for Mathematical Software Systems. In Johannes Blömer and Temur Kutsia and Dimitris Simos (Eds.), MACIS 2017: Seventh International Conference on Mathematical Aspects of Computer and Information Sciences (pp. 195-210). Springer.
Kohlhase, M. (2017). Math object identifiers - Towards research data in mathematics. In Lernen, Wissen, Daten, Analyse - 2017 Learning. Knowledge. Data. Analytics, LWDA 2017 (pp. 241-252). Rostock, DE: CEUR-WS.
Kohlhase, M., & Sperber, W. (2017). Software citations, information systems, and beyond. (pp. 99-114). Springer Verlag.
Wiesing, T., Kohlhase, M., Rabe, F., & Kohlhase, M. (2017). Virtual Theories -- A Uniform Interface to Mathematical Knowledge Bases. In Johannes Blömer and Temur Kutsia and Dimitris Simos (Eds.), MACIS 2017: Seventh International Conference on Mathematical Aspects of Computer and Information Sciences (pp. 243-257). Springer.

Last updated on 2019-20-03 at 18:17