Mathematical models as research data via flexiformal theory graphs

Kohlhase M, Koprucki T, Müller D, Tabelow K (2017)

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 2017

Publisher: Springer Verlag

Pages Range: 224-238

Conference Proceedings Title: 10th International Conference on Intelligent Computer Mathematics, CICM 2017

ISBN: 9783319620749

DOI: 10.1007/978-3-319-62075-6_16

Authors with CRIS profile

Michael Kohlhase Professur für Wissensrepräsentation und -verarbeitung Dennis Müller Professur für Wissensrepräsentation und -verarbeitung

Involved external institutions

Weierstraß-Institut für Angewandte Analysis und Stochastik (WIAS) - Leibniz-Institut im Forschungsverbund Berlin e. V. DE Germany (DE)

How to cite

APA:

Kohlhase, M., Koprucki, T., Müller, D., & Tabelow, K. (2017). Mathematical models as research data via flexiformal theory graphs. In 10th International Conference on Intelligent Computer Mathematics, CICM 2017 (pp. 224-238). Springer Verlag.

MLA:

Kohlhase, Michael, et al. "Mathematical models as research data via flexiformal theory graphs." Proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017 Springer Verlag, 2017. 224-238.

BibTeX: Download