Integrating Semantic Mathematical Documents and Dynamic Notebooks
Amann K, Kohlhase M, Rabe F, Wiesing T (2019)
Publication Type: Conference contribution
Publication year: 2019
Journal
Publisher: Springer Verlag
Book Volume: 11617 LNAI
Pages Range: 275-290
Conference Proceedings Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Event location: Prague
ISBN: 9783030232498
DOI: 10.1007/978-3-030-23250-4_19
Abstract
Mathematical software systems offer two major paradigms for interacting with mathematical knowledge. One is static files with semantically annotated representations that define mathematical knowledge and can be compiled into documents (PDF, html, etc.), and the other dynamically build mathematical objects in interactive read-eval-print loops (REPL) such as notebooks. Many author-facing interfaces offer both features in some way. However, reader-facing interfaces usually show only one or the other. In this paper we present an integration of the approaches in the context of the MMT system. Firstly, we present a Jupyter kernel for MMT which provides web-ready REPL functionality for MMT. Secondly, we integrate the resulting Jupyter notebooks into MathHub, a web-based frontend for mathematical documents. This allows users to context-sensitively open a Jupyter notebook as a dynamic subdocument anywhere inside a static MathHub document. Vice versa, any such highly interactive and often ephemeral notebook can be saved persistently in the MathHub backend at which point it becomes available as a static document. We also show how Jupyter widgets can be deeply integrated with the MMT knowledge management facilities to give semantics-aware interaction facilities.
Authors with CRIS profile
Michael Kohlhase
Professur für Wissensrepräsentation und -verarbeitung
Florian Rabe
Professur für Wissensrepräsentation und -verarbeitung
Tom Wiesing
Professur für Wissensrepräsentation und -verarbeitung
How to cite
APA:
Amann, K., Kohlhase, M., Rabe, F., & Wiesing, T. (2019). Integrating Semantic Mathematical Documents and Dynamic Notebooks. In Claudio Sacerdoti Coen, Andrea Kohlhase, Edwin Brady, Cezary Kaliszyk (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 275-290). Prague, CZ: Springer Verlag.
MLA:
Amann, Kai, et al. "Integrating Semantic Mathematical Documents and Dynamic Notebooks." Proceedings of the 12th International Conference on Intelligent Computer Mathematics, CICM 2019, Prague Ed. Claudio Sacerdoti Coen, Andrea Kohlhase, Edwin Brady, Cezary Kaliszyk, Springer Verlag, 2019. 275-290.
BibTeX: Download