Explore projects

The knowledge for integrating the Sage system into the OpenDreamKit virtual Research Environment.

The general mathematical knowledge needed for the OpenDreamKit Virtual Research Environment.

Graph Theory Modules in SMGloM

Flexiformalization of Concepts from Epistemology and Metaphysics - The Philosophy of Science

The SMGloM contributions of Jukka Kohonen.

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

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