Injecting Formal Mathematics Into LATEX

Müller D, Kohlhase M (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: 168-183

Conference Proceedings Title: INTELLIGENT COMPUTER MATHEMATICS, CICM 2022

Event location: Tbilisi

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

Authors with CRIS profile

Dennis Müller Professur für Wissensrepräsentation und -verarbeitung Michael Kohlhase 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:

Müller, D., & Kohlhase, M. (2022). Injecting Formal Mathematics Into LATEX. In INTELLIGENT COMPUTER MATHEMATICS, CICM 2022 (pp. 168-183). Tbilisi, GE: CHAM: SPRINGER INTERNATIONAL PUBLISHING AG.

MLA:

Müller, Dennis, and Michael Kohlhase. "Injecting Formal Mathematics Into LATEX." 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. 168-183.

BibTeX: Download