MathHub.info groups content by user accounts and independent libraries, e.g. the libraries of theorem provers that are maintained by whole communities.
MathHub libraries consist of individual math archives that are individually versioned and carry individual sets of permissions.
- SMGloM: The Semantic Multilingual Glossary for Mathematics
The SMGloM is a structured terminology for mathematics. It combines lexical information about the "Words of Mathematics" (in multiple languages) with semantic information about their dependencies. Multiple services can be derived from this terminology, e.g. a classical glossary and a math dictionary.
- OpenDreamKit Project
The archives of the OpenDreamKit EU Project, see http://opendreamkit.org