... | @@ -11,10 +11,15 @@ MathHub.info consists of three parts: |
... | @@ -11,10 +11,15 @@ MathHub.info consists of three parts: |
|
* 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)
|
|
|
|
|
|
Applications include the ALeA system (Adaptive Learning Assistant) that uses semantic annotations for personalized learning support services. Archives for Flexiformal Mathematics in Math
|
|
Applications include the ALeA system (Adaptive Learning Assistant) that uses semantic annotations for personalized learning support services.
|
|
|
|
|
|
|
|
### [GL.MathHub.info](https://gl.mathhub.info)
|
|
|
|
|
|
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.
|
|
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 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 |