Explore projects
-
Papers / 25-CICM-MathMap
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Papers / 26-BAI-FLAMS
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Michael Kohlhase / FormalCAD
Creative Commons Attribution Share Alike 4.0 InternationalFormalCAD Project Content
Updated -
-
Jürgen Schefter / SMGloM-Doc
Creative Commons Attribution Share Alike 4.0 InternationalDocumentation about the SMGloM
Updated -
Tianlin / SMGloM
Creative Commons Attribution Share Alike 4.0 InternationalA Semantic Multilingual Glossary for Mathematics.
Updated -
HelloWorld / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalThe metadata for the HelloWorld project at MathHub.info
Updated -
ODK / lmfdb
Creative Commons Attribution Share Alike 4.0 InternationalThe Theories for the LMFDB data base.
Updated -
alignments / Public
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
MitM / models
Creative Commons Attribution Share Alike 4.0 InternationalEXPERIMENTAL: Formalizing Mathematical Models as Research Data
Updated -
Michael Kohlhase / eyetracking-math
Creative Commons Attribution Share Alike 4.0 Internationala study
Updated -
MaMoReD / activedocs
Creative Commons Attribution Share Alike 4.0 InternationalActive documents with models
Updated -
Sascha Dörflein / algebra
Creative Commons Attribution Share Alike 4.0 InternationalThe SMGloM modules for elementary algebra.
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 -
Coq / documentation
Creative Commons Attribution Share Alike 4.0 InternationalArticles describing the library export
Updated -
SvenWille / masterproj backup jedit
Creative Commons Attribution Share Alike 4.0 Internationaljust a backup of the jedit extension for my masterproject/masterthesis
Updated -
SvenWille / writtenmaster
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
sTeX / Experiments / SebastianOrsted
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / RWTH / hysys / lecture-notes
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Papers / 23-AI4AI-Guided-Tours
Creative Commons Attribution Share Alike 4.0 InternationalUpdated