Kai Amann

According to our database, Kai Amann authored at least 2 papers between 2019 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Prototyping Controlled Mathematical Languages in Jupyter Notebooks.

Jan Frederik Schaefer, Kai Amann, Michael Kohlhase

Proceedings of the Mathematical Software - ICMS 2020, 2020

2019

Integrating Semantic Mathematical Documents and Dynamic Notebooks.

Kai Amann, Michael Kohlhase, Florian Rabe, Tom Wiesing

Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019