Third Party Funds Group - Sub project

Overall project details

Overall project: Open Digital Research Environment Toolkit for the Advancement of Mathematics

Project Details

Project leader:

Project members:
PD Dr. Florian Rabe
Tom Wiesing
Theresa Pollinger
Dr. Katja Bercic

Contributing FAU Organisations:
Lehrstuhl für Informatik 8 (Theoretische Informatik)
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


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., Rabe, F., Kaliszyk, C., & Gauthier, T. (2017). Classification of alignments between concepts of formal mathematical systems. In 10th International Conference on Intelligent Computer Mathematics, CICM 2017 (pp. 83-98). Springer Verlag.
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.
Kohlhase, M. (2006). OMDoc - An open markup format for mathematical documents [version 1.2]. .

Last updated on 2019-08-04 at 12:08