Explore projects
-
Tutorials / Mathematicians
Creative Commons Attribution Share Alike 4.0 InternationalOMDoc/MMT Tutorial for Mathematicians
Updated -
courses / FAU / AI / course
Creative Commons Attribution Share Alike 4.0 InternationalThe slides and course notes for the course Artificial Intelligence at FAU Erlangen-Nürnberg
Updated -
courses / FAU / LBS / problems
Creative Commons Attribution Share Alike 4.0 InternationalThe problems for the lecture Logic Based Language Processing at FAU
Updated -
hang / GenCS
Creative Commons Attribution Share Alike 4.0 InternationalThe slides and course notes of the course General Computer Science at Jacobs University.
Updated -
Jürgen Schefter / SMGloM-Doc
Creative Commons Attribution Share Alike 4.0 InternationalDocumentation about the SMGloM
Updated -
Mihnea Iancu / SMGloM
Creative Commons Attribution Share Alike 4.0 InternationalA Semantic Multilingual Glossary for Mathematics.
Updated -
Isabelle / export-paper
Creative Commons Attribution Share Alike 4.0 Internationala research paper describing the export from Isabelle to OMDoc/MMT that is used to generate the MMT projects in this group
Updated -
courses / RWTH / hysys / lecture-notes
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
ODK / knowls
Creative Commons Attribution Share Alike 4.0 InternationalLMFDB Knowls exported to sTeX.
Updated -
Talks / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Papers / 23-mathui-active-documents
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Michael Kohlhase / oldtalks
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
problems / smglom
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / SMAI / hwexam
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / IWGS / hwexam
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / AI / hwexam
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Ion Toloaca / GenCS
Creative Commons Attribution Share Alike 4.0 InternationalThe slides and course notes of the course General Computer Science at Jacobs University.
Updated -
courses / FAU / RIP / course
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Teaching / LBS
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / Jacobs / CompLog
Creative Commons Attribution Share Alike 4.0 InternationalThe slides and course notes of the course Computational Logic.
Updated