Integrating Semantic Mathematical Documents and Dynamic Notebooks. - Kai Amann; Michael Kohlhase; Florian Rabe 001; Tom Wiesing (CICM, 2019)

Prototyping Controlled Mathematical Languages in Jupyter Notebooks. - Jan Frederik Schaefer; Kai Amann; Michael Kohlhase (ICMS, 2020)