System Description STEX3-A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents

Kohlhase M, Müller D (2022)

Publication Type: Conference contribution

Publication year: 2022

Journal

Lecture Notes in Computer Science Springer Verlag

Publisher: SPRINGER INTERNATIONAL PUBLISHING AG

City/Town: CHAM

Pages Range: 184-188

Conference Proceedings Title: INTELLIGENT COMPUTER MATHEMATICS, CICM 2022

Event location: Tbilisi GE

DOI: 10.1007/978-3-031-16681-5_13

Authors with CRIS profile

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

Related research project(s)

Domain and competency modelling (VoLL-KI) Von Lernenden Lernen: Ganzheitliche daten- und wissensunterstützte Hochschulbildung und deren Gestaltung - VoLL-KI Dec. 1, 2021 - Nov. 30, 2025

How to cite

APA:

Kohlhase, M., & Müller, D. (2022). System Description STEX3-A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents. In INTELLIGENT COMPUTER MATHEMATICS, CICM 2022 (pp. 184-188). Tbilisi, GE: CHAM: SPRINGER INTERNATIONAL PUBLISHING AG.

MLA:

Kohlhase, Michael, and Dennis Müller. "System Description STEX3-A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents." Proceedings of the 15th International Conference on Intelligent Computer Mathematics (CICM) part of the Computational Logic Autumn Summit (CLAS), Tbilisi CHAM: SPRINGER INTERNATIONAL PUBLISHING AG, 2022. 184-188.

BibTeX: Download