Explore projects

Software zur Deduplizierung von CRIS-Inhalten

Die UB Erlangen führt DSPACE als Repositorium ein. Ein Austausch von Metadaten und ggfs. auch Volltexten zwischen CRIS und dem System ist notwendig. Die Software von CRIS (converis) besitzt bereits eine Schnittstelle zu DSPACE.

A Semantic Multilingual Glossary for Mathematics.

A Semantic Multilingual Glossary for Mathematics.

FormalCAD Project Content

The Logic Atlas and Integrator project content (still in TWELF, not MMT syntax)

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

The slides and course notes of the course Computational Logic at Jacobs University.