Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Elementary set theory for the SMGloM
-
-
-
-
Slides and notes for talks held by Michael Kohlhase
-
The SMGloM modules for elementary algebra.
-
The slides and course notes of the course Computational Logic.
-
The Course "Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen" at FAU Erlangen
-
The course materials for the Lecture Logic Based Language Processing at FAU
-
The slides and course notes of the course Computational NL Semantics.
-
The Course General ICT at Jacobs University
-
-
Graph Theory Modules in SMGloM
-
Number Theoretic Identities
-
The SMGloM modules on linear algebra.
-
-
Number Theory
-
magic squares and their friends
-