Explore projects

The problems of the course General Computer Science at Jacobs University.

The SMGloM contributions of Jukka Kohonen.

The SMGloM modules on linear algebra.

The mathematical texts distributed by the Naproche-SAD project.

The problems of the course Advanced Computer Science at Jacobs University.

A math archive with the KWARC bibs from https://github.com/KWARC/bibs

Elementary set theory for the SMGloM

temporary home for the EOSC proposal.

Sources included with the FoCaLiZe distribution

Graph Theory Modules in SMGloM

Number Theoretic Identities