GL.MathHub.info the Content Management System of MathHub.info

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.

For details, tools, and advice see the GL.MathHub.info Wiki.