Explore GitLab
Discover projects, groups and snippets. Share your projects with others

version 2 of the LATIN atlas

The course notes and slides of the course "Informatische Werkzeuge der Geistes und Sozialwissenschaften" at FAU ElangenNürnberg

The materials of the LBS course held in WS 2019/20.

The IWGS glossary


The SMGloM modules for topology


Graph Theory Modules in SMGloM


The slides and course notes for the course Artificial Intelligence at FAU ErlangenNürnberg

Some foundations of Tannakian Symbols and their relations.

A Semantic Multilingual Glossary for Mathematics.

Elementary set theory for the SMGloM

The SMGloM modules on linear algebra.

Basic concepts about computers and programming

The SMGloM modules for elementary algebra.

Slides and notes for talks held by Michael Kohlhase

The course materials for the Lecture Logic Based Language Processing at FAU

Basics about KWARC, FAU, Jacobs, etc. and other missing stuff.

The slides and course notes of the course General Computer Science at Jacobs University.