| ... | @@ -9,7 +9,7 @@ MathHub.info is a comprehensive development and operations systems for flexiform |
... | @@ -9,7 +9,7 @@ MathHub.info is a comprehensive development and operations systems for flexiform |
|
|
MathHub.info consists of three parts:
|
|
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 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 [build system](https://buildsystem.mathhub.info) that manages the compilation of sources
|
|
|
* a knowledge management server: the [MMT API](https://stexmmt.mathhub.info)
|
|
* a knowledge management server: the [MMT API](https://stexmmt.mathhub.info) 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.
|
|
Applications include the ALeA system (Adaptive Learning Assistant) that uses semantic annotations for personalized learning support services.
|
|
|
|
|
|
| ... | @@ -17,9 +17,7 @@ Applications include the ALeA system (Adaptive Learning Assistant) that uses sem |
... | @@ -17,9 +17,7 @@ Applications include the ALeA system (Adaptive Learning Assistant) that uses sem |
|
|
|
|
|
|
|
The content on [GL.MathHub.info](https://gl.mathhub.info) is mostly in the [OMDoc/MMT](https://uniformal.github.io/doc/language/) (for fully formal content) and [sTeX](https://github.com/sLaTeX/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](https://hackmd.io/@X5Y0GrH0RY-KPMg2uH7o5Q/ByvrtDbFn) -- the MathHub.info lingua franca.
|
|
The content on [GL.MathHub.info](https://gl.mathhub.info) is mostly in the [OMDoc/MMT](https://uniformal.github.io/doc/language/) (for fully formal content) and [sTeX](https://github.com/sLaTeX/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](https://hackmd.io/@X5Y0GrH0RY-KPMg2uH7o5Q/ByvrtDbFn) -- the MathHub.info lingua franca.
|
|
|
|
|
|
|
|
The [GL.MathHub.info](https://gl.mathhub.info) is organized into [math archives](https://uniformal.github.io/doc/archives/), collections of source files and generated representations with a [specified directory structure](https://uniformal.github.io/doc/archives/). On [GL.MathHub.info](https://gl.mathhub.info) math archives directly correspond to GIT repositories. This gives us authentication and user management.
|
|
The [GL.MathHub.info](https://gl.mathhub.info) is organized into [math archives](https://uniformal.github.io/doc/archives/), collections of source files and generated representations with a [specified directory structure](https://uniformal.github.io/doc/archives/). On [GL.MathHub.info](https://gl.mathhub.info) math archives directly correspond to GIT repositories. This gives us authentication and user management. The repositories are organized via [GitLab groups](https://docs.gitlab.com/ee/user/group/) for structure and authorization. This organization also gives us direct access to the [DevOps features of the GitLab platform](https://about.gitlab.com/solutions/devops-platform/)
|
|
|
|
|
|
|
|
The repositories are organized via [GitLab groups](https://docs.gitlab.com/ee/user/group/) for structure and authorization.
|
|
|
|
|
|
|
|
|
|
### Topics/Details
|
|
### Topics/Details
|
|
|
* [Licensing](licensing) |
|
* [Licensing](licensing) |
|
|
|
\ No newline at end of file |
