Explore projects

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

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

A math archive with the KWARC bibs from https://github.com/KWARC/bibs

OMDoc/MMT Tutorial for Mathematicians

EXPERIMENTAL: Formalizing Mathematical Models as Research Data

temporary home for the EOSC proposal.

a study

Shabbar Raza's code for finding alignments based on matching names.

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

A Semantic Multilingual Glossary for Mathematics.

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

A Semantic Multilingual Glossary for Mathematics.

A Semantic Multilingual Glossary for Mathematics.