Explore projects

A MMT counterpart to the elementary math in SMGloM

The SMGloM modules for topology

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

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

The SMGloM modules for elementary algebra.

Formalizations for the ALMANAC Project (Argumentation Logics Manager & Argument Context Graph)

General Metadata that apply to all MathHub content.

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

The SMGloM modules for elementary algebra.

EXPERIMENTAL: Formalizing Mathematical Models as Research Data