Virtual Theories -- A Uniform Interface to Mathematical Knowledge Bases

Wiesing T, Kohlhase M, Rabe F, Kohlhase M (2017)

Publication Type: Conference contribution, Original article

Publication year: 2017

Publisher: Springer

Pages Range: 243-257

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

ISBN: 978-3-319-72453-9

DOI: 10.1007/978-3-319-72453-9_17

Authors with CRIS profile

Tom Wiesing Professur für Wissensrepräsentation und -verarbeitung Michael Kohlhase Professur für Wissensrepräsentation und -verarbeitung Florian Rabe 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 OpenDreamKit (OpenDreamKit) Open Digital Research Environment Toolkit for the Advancement of Mathematics (OpenDreamKit) Sept. 1, 2015 - Aug. 31, 2019

How to cite

APA:

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.

MLA:

Wiesing, Tom, et al. "Virtual Theories -- A Uniform Interface to Mathematical Knowledge Bases." Proceedings of the 7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017 Ed. Johannes Blömer and Temur Kutsia and Dimitris Simos, Springer, 2017. 243-257.

BibTeX: Download