Explore projects
-
courses / FAU / RIP / course
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Talks / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Papers / 23-mathui-active-documents
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Mihnea Iancu / SMGloM
Creative Commons Attribution Share Alike 4.0 InternationalA Semantic Multilingual Glossary for Mathematics.
Updated -
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 -
Jürgen Schefter / SMGloM-Doc
Creative Commons Attribution Share Alike 4.0 InternationalDocumentation about the SMGloM
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 -
Teaching / LBS
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
ODK / knowls
Creative Commons Attribution Share Alike 4.0 InternationalLMFDB Knowls exported to sTeX.
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 -
Updated
-