Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
SMGloM / SMGloM
A Semantic Multilingual Glossary for Mathematics.
0updated -
Mihnea Iancu / SMGloM
A Semantic Multilingual Glossary for Mathematics.
0updated -
KwarcMH / FormalCAD
FormalCAD Project Content
0updated -
BaseMH / Engineering
Basic Concepts of Engineering
0updated -
BaseMH / Economy
Basic Concepts of Economy
0updated -
BaseMH / Physics
Basic Concepts of Physics
0updated -
SMGloM / chevahir
The glossary entries Chevahir did. May be useful at some point.
0updated -
MiKoMH / ACS
The Slides and Course Notes of the Course Advanced Computer Science at Jacobs University.
0updated -
MiKoMH / CompLog
The slides and course notes of the course Computational Logic at Jacobs University.
0updated -
MiKoMH / GenCS
The slides and course notes of the course General Computer Science at Jacobs University.
0updated -
MiKoMH / ComSem
The slides and course notes of the course Computational NL Semantics at Jacobs University.
0updated -
MiKoMH / talks
Slides and notes for talks held by Michael Kohlhase
0updated -
MiKoMH / AI
The slides and course notes for the course Artificial Intelligence at Jacobs University
0updated -
MiKoMH / TDM
The slides and course notes for the course Text and Digital Media at Jacobs University
0updated -
MiKoAttic / stats
The slides and course notes for the course Statistics at Jacobs University
0updated -
MiKoMH / KWARC
Basics about KWARC, FAU, Jacobs, etc. and other missing stuff.
0updated -
0updated
-
Constantin Jucovschi / SMGloM
A Semantic Multilingual Glossary for Mathematics.
0updated -
Michael Kohlhase / FormalCAD
FormalCAD Project Content
0updated -
0updated