Jan Frederik Schaefer, Kai Amann, Michael Kohlhase. Prototyping Controlled Mathematical Languages in Jupyter Notebooks. In Anna Maria Bigatti, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff, editors, Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings. Volume 12097 of Lecture Notes in Computer Science, pages 406-415, Springer, 2020. [doi]
@inproceedings{SchaeferAK20,
title = {Prototyping Controlled Mathematical Languages in Jupyter Notebooks},
author = {Jan Frederik Schaefer and Kai Amann and Michael Kohlhase},
year = {2020},
doi = {10.1007/978-3-030-52200-1_40},
url = {https://doi.org/10.1007/978-3-030-52200-1_40},
researchr = {https://researchr.org/publication/SchaeferAK20},
cites = {0},
citedby = {0},
pages = {406-415},
booktitle = {Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings},
editor = {Anna Maria Bigatti and Jacques Carette and James H. Davenport and Michael Joswig and Timo de Wolff},
volume = {12097},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-52200-1},
}