Explore projects

A Hello World repository of an sTeX paper.

General Tests (Views, Structures, etc.)

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

Dieses Repositorium enthält eine Analyse der Softwareanforderungen des "Taschengeldfalles"

EXPERIMENTAL: Formalizing Mathematical Models as Research Data

Active documents with models

INFRASTRUCTURE: the meta information for the Math-in-the-Middle Ontology

The metadata for the MaMoReD project at MathHub.info

KRMT SS2017