From 596245560a2edd1d457d87d761819f7e81dd25f1 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Tue, 3 Apr 2018 14:36:10 +0200 Subject: [PATCH] muchg more --- systems/mathhub.md | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/systems/mathhub.md b/systems/mathhub.md index 73734ea..66ff34d 100644 --- a/systems/mathhub.md +++ b/systems/mathhub.md @@ -1,7 +1,7 @@ --- layout: system -title: MathHub +title: MathHub.info teaser: A portal for active mathematical documents and an archive for flexiformal mathematics. start_date: 2008-08 @@ -10,14 +10,23 @@ people: - mkohlhase - akohlhase - cjucovschi + - twiesing website: http://mathhub.info repository: https://github.com/KWARC/mathhub +publink: http://kwarc.github.io/bibs/mathhub --- [MathHub.info](http://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](http://mathhub.info) system consists of a +* [repository manager](http://gl.mathhub.info) for mathematical archives based on [GitLab](http://gitlab.com) that handles user management, access control, and versioning. +* [knowledge management process](https://mmt.mathhub.info) based on the [MMT System](http://uniformal.github.io) that provides scalable knowledge management services and math presentation. +* various indices and data stores including [MathWebSearch](/systems/mws/). +* a web front end compositor that combines these into a uniform web experience. +* some special applications like a [multilingual glossary](https://mathhub.info/mh/glossary) and a [math dictionary](https://mathhub.info/mh/dictionary) based on the [SMGloM](/systems/smglom/) data set. +[MathHub.info](http://mathhub.info) serves as the main data repository for the [OAF](/projects/oaf) and [SMGloM](/systems/smglom/) projects and (the KWARC part of the [OpenDreamKit](/projets/odk/) project. -- GitLab