Explore projects
-
Tianlin / SMGloM
Creative Commons Attribution Share Alike 4.0 InternationalA Semantic Multilingual Glossary for Mathematics.
Updated -
HelloWorld / smglom
Creative Commons Attribution Share Alike 4.0 InternationalAn example for the MathHub Worker
Updated -
HelloWorld / coursematerials
Creative Commons Attribution Share Alike 4.0 InternationalAn example for the MathHub Worker
Updated -
HelloWorld / hwexam
Creative Commons Attribution Share Alike 4.0 InternationalAn hello world repository for problems and exams for the MathHub worker.
Updated -
-
Tianlin / topology
Creative Commons Attribution Share Alike 4.0 InternationalThe SMGloM modules for topology
Updated -
MMT / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
OEIS / SearchSystem
Creative Commons Attribution Share Alike 4.0 InternationalThe repository for the MWS-based, text and formula, search system for OEIS
Updated -
IMPS / theories
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
hang / GenCS
Creative Commons Attribution Share Alike 4.0 InternationalThe slides and course notes of the course General Computer Science at Jacobs University.
Updated -
HelloWorld / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalThe metadata for the HelloWorld project at MathHub.info
Updated -
courses / Jacobs / ACS / problems
Creative Commons Attribution Share Alike 4.0 InternationalThe problems of the course Advanced Computer Science at Jacobs University.
Updated -
HOLLight / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
MMT / DynamicLF
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
ODK / lmfdb
Creative Commons Attribution Share Alike 4.0 InternationalThe Theories for the LMFDB data base.
Updated -
ODK / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalThe Meta Information for the ODK Group.
Updated -
ODK / FindStat
Creative Commons Attribution Share Alike 4.0 InternationalThe Knowledge behind the FindStat project
Updated -
-
ODK / Sage
Creative Commons Attribution Share Alike 4.0 InternationalThe knowledge for integrating the Sage system into the OpenDreamKit virtual Research Environment.
Updated