Kai Amann

List of publications:

BibTeX-Download


FAU Competence Center Research Data and Information (FAU CDI) Machine Learning and Data Analytics Lab
close-button

Types of publications

Journal article
Book chapter / Article in edited volumes
Authored book
Translation
Thesis
Edited Volume
Conference contribution
Other publication type
Unpublished / Preprint

Publication year

From
To

Abstract

Journal

Prototyping Controlled Mathematical Languages in Jupyter Notebooks (2020) Schäfer JF, Amann K, Kohlhase M Conference contribution