Forked from
KWARC / kwarc.info / www
773 commits behind the upstream repository.
-
Michael Kohlhase authoredMichael Kohlhase authored
mathhub.md 1.66 KiB
layout: system
title: MathHub.info
shorttitle: MathHub
teaser: A portal for active mathematical documents and an archive for flexiformal mathematics.
start_date: 2008-08
people:
- mkohlhase
- akohlhase
- cjucovschi
- twiesing
supported-by:
- mathsearch
- oaf
- odk
- latin
logo: /public/mathHubLogo.png
website: http://mathhub.info
repository: https://github.com/KWARC/mathhub
publink: http://kwarc.github.io/bibs/mathhub
MathHub.info is a portal for active mathematical documents and an archive for flexiformal mathematics. It offers a rich interface for reading, writing, and interacting with mathematical documents and knowledge.
The MathHub.info system consists of a
- repository manager for mathematical archives based on GitLab that handles user management, access control, and versioning.
- knowledge management process based on the MMT System that provides scalable knowledge management services and math presentation.
- various indices and data stores including MathWebSearch.
- a web front end compositor that combines these into a uniform web experience.
- some special applications like a multilingual glossary and a math dictionary based on the SMGloM data set.
MathHub.info serves as the main data repository for the OAF and SMGloM projects and (the KWARC part of the OpenDreamKit project.