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

The Formalizations for the UFrameITbased serious game FrameWorld.

Foundations of Units and Quantities.

Terminology in Computer Science

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

Elementary set theory for the SMGloM

EXPERIMENTAL: Formalizing Mathematical Models as Research Data

Slides and notes for talks held by Michael Kohlhase

The slides and course notes for the course Text and Digital Media at Jacobs University

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

The slides and course notes of the course Computational Logic at Jacobs University.

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


FormalCAD Project Content

The metadata for the MiKoMH project at MathHub.info

The Slides and Course Notes of the Course Advanced Computer Science at Jacobs University.

The SMGloM modules for topology

special numbers in SMGloM

The SMGloM modules on linear algebra.

Graph Theory Modules in SMGloM
