|
|
|
# [GL.MathHub.info](https://gl.mathhub.info) the Content Management Systems of MathHub.info
|
|
|
|
|
|
|
|
Before we go into details here, let us fix the context
|
|
|
|
|
|
|
|
### Context: MathHub.info - A DevOps System for Flexiformal Knowledge/Documents
|
|
|
|
|
|
|
|
MathHub.info is a comprehensive development and operations systems for flexiformal knowledge and documents. In the outset, the system focused on mathematical content - hence the name - but the scope has since widened to any kind of knowledge and documents that can be flexiformalized (formalized to a flexible degree of formality) and any kind of application that can turn machine-actionable parts of the representations into user-level services.
|
|
|
|
|
|
|
|
MathHub.info consists of three parts:
|
|
|
|
* a content management system: [GL.MathHub.info](https://gl.mathhub.info) that provides versioned content and project management facilities.
|
|
|
|
* a [build system](https://buildsystem.mathhub.info) that manages the compilation of sources
|
|
|
|
* a knowledge management server: the [MMT API](https://stexmmt.mathhub.info)
|
|
|
|
|
|
|
|
Applications include the ALeA system (Adaptive Learning Assistant) that uses semantic annotations for personalized learning support services. Archives for Flexiformal Mathematics in Math
|
|
|
|
|
|
|
|
|
|
|
|
The content of the archive is mostly in the OMDoc/MMT and sTeX (a semantic extension of LaTeX) formats. Every GIT repository is structured as a Math archive for processing by the MMT knowledge processing system.
|
|
|
|
|
|
|
|
### Topics/Details
|
|
|
|
* [Licensing](licensing) |
|
|
|
\ No newline at end of file |
