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 that provides versioned content and project management facilities.
- a build system that manages the compilation of sources
- a knowledge management server: the MMT API
Applications include the ALeA system (Adaptive Learning Assistant) that uses semantic annotations for personalized learning support services.
GL.MathHub.info
The content on GL.MathHub.info is mostly in the OMDoc/MMT (for fully formal content) and sTeX (a semantic extension of LaTeX) formats, but other source formats like semantically annotated Word/PPT (via WOIDE and CPoint) and Markdown also work as long as they can generate SHTML -- the MathHub.info lingua franca.
The GL.MathHub.info is organized into math archives, collections of source files and generated representations with a specified directory structure. On GL.MathHub.info math archives directly correspond to GIT repositories. This gives us authentication and user management.
The repositories are organized via GitLab groups for structure and authorization.