GL.MathHub.info the Content Management System 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 that provides added value APIs to the knowledge and documents for applications.
Applications include the ALeA system (Adaptive Learning Assistant) that uses semantic annotations for personalized learning support services.
GL.MathHub.info Overview and Structure
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. This organization also gives us direct access to the DevOps features of the GitLab platform