Login / Signup
Stefan Hölle
Publication Activity (10 Years)
Years Active: 2018-2019
Publications (10 Years): 3
Top Topics
Knowledge Representation Language
Meta Reasoning
Numerical Data
Meta Level
Top Venues
CICM Workshops
CICM
</>
Publications
</>
Michael Junk
,
Stefan Hölle
Numerical MATh.
CICM Workshops
(2019)
Michael Junk
,
Stefan Hölle
,
Sebastian Sahli
Formalized Mathematical Content in Lecture Notes on Modelling and Analysis.
CICM
(2018)
Michael Junk
,
Stefan Hölle
A Meta Language for Mathematical Reasoning.
CICM Workshops
(2018)