Stefan Hölle

According to our database¹, Stefan Hölle authored at least 3 papers between 2018 and 2019.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2019

Numerical MATh.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the FMM and LML Workshops, 2019

2018

Formalized Mathematical Content in Lecture Notes on Modelling and Analysis.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

A Meta Language for Mathematical Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the CME-EI, 2018