Classification of alignments between concepts of formal mathematical systems

Kohlhase M, Müller D, Rabe F, Kaliszyk C, Gauthier T (2017)

Publication Language: English

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 2017

Publisher: Springer Verlag

Pages Range: 83-98

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

ISBN: 9783319620749

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

Authors with CRIS profile

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

Related research project(s)

An Open Archive of Formalizations (OAF) Jan. 1, 2014 - June 30, 2020 OpenDreamKit (OpenDreamKit) Open Digital Research Environment Toolkit for the Advancement of Mathematics (OpenDreamKit) Sept. 1, 2015 - Aug. 31, 2019

How to cite

APA:

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.

MLA:

Kohlhase, Michael, et al. "Classification of alignments between concepts of formal mathematical systems." Proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017 Springer Verlag, 2017. 83-98.

BibTeX: Download