Knowledge-Based Interoperability for Mathematical Software Systems

Kohlhase M, Müller D, Pfeiffer M, Rabe F, Thiery N, Vasilyev V, Wiesing T (2017)

Publication Type: Conference contribution, Original article

Publication year: 2017

Publisher: Springer

Pages Range: 195-210

Conference Proceedings Title: MACIS 2017: Seventh International Conference on Mathematical Aspects of Computer and Information Sciences

Authors with CRIS profile

Michael Kohlhase Lehrstuhl für Informatik 8 (Theoretische Informatik) Dennis Müller Professur für Wissensrepräsentation und -verarbeitung Florian Rabe Professur für Wissensrepräsentation und -verarbeitung Tom Wiesing Professur für Wissensrepräsentation und -verarbeitung

Related research project(s)

Open Digital Research Environment Toolkit for the Advancement of Mathematics (OpenDreamKit) Sept. 1, 2015 - Aug. 31, 2019

Involved external institutions

University of St Andrews

United Kingdom (GB) University of Paris 11 - Paris-Sud / Université Paris XI Paris-Sud

France (FR)

How to cite

APA:

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.

MLA:

Kohlhase, Michael, et al. "Knowledge-Based Interoperability for Mathematical Software Systems." Proceedings of the MACIS 2017: Seventh International Conference on Mathematical Aspects of Computer and Information Sciences Ed. Johannes Blömer and Temur Kutsia and Dimitris Simos, Springer, 2017. 195-210.

BibTeX: Download