Explore projects

Testing for Carsten Knoll

The sTeX explanations of the math content in MathDataHub (will probably be refactored at some point)

The meta stuff for MDH data

The core schema theories (given in the Math Data Description Language MDDL) for the symmetric objects data collection

The virtual theories of the symmetric objects data collection.

The meta information for the MathHub data collection on highly symmetric objects

The mathematical texts distributed by the Naproche-SAD project.

The meta information of the OEIS at MathHub.info

Meta Information and documetation for the Mizar libary at MathHub.info

A MMT counterpart to the elementary math in SMGloM

The SMGloM modules for elementary algebra.

documentation for SMGloM project

sub-library of OEIS for testing