Login / Signup
Jonas Betzendahl
ORCID
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 6
Top Topics
Theorem Proving
Mathematical Knowledge
Semantically Annotated
Formal Languages
Top Venues
CICM Workshops
CICM
ECAI Workshops (2)
</>
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)
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)