A standard for aligning mathematical concepts

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

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 2017

Publisher: CEUR-WS

Book Volume: 1785

Pages Range: 229-244

URI: https://www.scopus.com/record/display.uri?eid=2-s2.0-85018973947&origin=inward

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

How to cite

APA:

Kaliszyk, C., Kohlhase, M., Müller, D., & Rabe, F. (2017). A standard for aligning mathematical concepts. In Proceedings of the 2016 Joint Formal Mathematics for Mathematicians, FM4M 2016, 11th Workshop on Mathematical User Interfaces, MathUI 2016, and 2016 Workshop on Theorem Proving Components for Educational Software, ThEdu 2016, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics, CICM-WS-WIP 2016 (pp. 229-244). CEUR-WS.

MLA:

Kaliszyk, Cezary, et al. "A standard for aligning mathematical concepts." Proceedings of the 2016 Joint Formal Mathematics for Mathematicians, FM4M 2016, 11th Workshop on Mathematical User Interfaces, MathUI 2016, and 2016 Workshop on Theorem Proving Components for Educational Software, ThEdu 2016, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics, CICM-WS-WIP 2016 CEUR-WS, 2017. 229-244.

BibTeX: Download