Explore projects

Some foundations of Tannakian Symbols and their relations.

The SMGloM contributions of Jukka Kohonen.

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

General Metadata that apply to all MathHub content.

The Metadata for the MMATh formalizations and active documents.