Kai Amann

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 2

Top Topics

Native Language

Rapid Prototyping

Top Venues

Publications

Jan Frederik Schaefer, Kai Amann, Michael Kohlhase
Prototyping Controlled Mathematical Languages in Jupyter Notebooks. ICMS (2020)
Kai Amann, Michael Kohlhase, Florian Rabe, Tom Wiesing
Integrating Semantic Mathematical Documents and Dynamic Notebooks. CICM (2019)