Login / Signup
Jonas Betzendahl
ORCID
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 7
Top Topics
Formal Languages
Theorem Proving
Mathematical Knowledge
Educational Material
Top Venues
CICM Workshops
CICM
ECAI Workshops (2)
GI-Jahrestagung
</>
Publications
</>
Jonas Betzendahl
,
Michael Kohlhase
,
Dennis Müller
Guided Tours in ALeA - Assembling Tailored Educational Dialogues from Semantically Annotated Learning Objects.
ECAI Workshops (2)
(2023)
Marc Berges
,
Jonas Betzendahl
,
Abhishek Chugh
,
Michael Kohlhase
,
Dominic Lohr
,
Dennis Müller
Learning Support Systems Based on Mathematical Knowledge Management.
CICM
(2023)
Theresa Kruse
,
Marc Berges
,
Jonas Betzendahl
,
Michael Kohlhase
,
Dominic Lohr
,
Dennis Müller
Learning with ALeA: Tailored experiences through annotated course material.
GI-Jahrestagung
(2023)
Jonas Betzendahl
Reasoning Support for Undefinedness and Soft Typing in Formal Mathematics - Extended Abstract.
CICM Workshops
(2021)
Jonas Betzendahl
Definedness Reasoning in Formal Mathematics and Theorem Proving.
CICM Workshops
(2019)
Jonas Betzendahl
,
Michael Kohlhase
Translating the IMPS Theory Library to MMT/OMDoc.
CICM
(2018)
Jonas Betzendahl
Formal Languages for Mathematics.
CICM Workshops
(2018)