From ad103a3a65fd49a6e3815687cf44b6a011637982 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <m.kohlhase@jacobs-university.de> Date: Mon, 23 Oct 2017 17:23:19 +0200 Subject: [PATCH] more --- systems/sTeX.md | 15 ++++++++++++++- 1 file changed, 14 insertions(+), 1 deletion(-) diff --git a/systems/sTeX.md b/systems/sTeX.md index 60ac2de..9571ecd 100644 --- a/systems/sTeX.md +++ b/systems/sTeX.md @@ -13,5 +13,18 @@ repository: https://github.com/KWARC/sTeX --- The TeX/LaTeX workflow is deeply embedded into mathematical practice. Therefore the sTeX -system allows to embed [/structural semantics](/research/structural-semantics) into documents. +system allows to embed [/structural semantics](/research/structural-semantics) into +documents. Concretely sTeX is a "semantic version of LaTeX" that allows to use special +macros to encode mathematical meaning explicitly. This is (largely ignored in PDF +generation), but can be taken into account when generating [OMDoc-based](/systems/omdoc/) active documents. +## Resources +* [sTeX at GitHub](https://github.com/KWARC/sTeX) and the corresponding +[LaTeXML](http://dlmf.nist.gov/LaTeXML/) +[plugin for sTeX](https://github.com/KWARC/LaTeXML-Plugin-sTeX) +* Some sTeX-based libraries of active doucents on [MathHub.info](http://mathhub.info): [SMGloM](https://mathhub.info/smglom), [active course notes](https://mathhub.info/MiKoMH). +* and [SMGloM](https://gl.mathhub.info/smglom), [active course notes](https://gl.mathhub.info/MiKoMH). + +## Documentation/Papers +* M. Kohlhase (2008) [*Using LaTeX as a semantic markup format*](https://kwarc.info/kohlhase/papers/mcs08-stex.pdf). Mathematics in Computer Science 2 (2), pp. 279–304 +* ... [complete bibliography](http://kwarc.github.io/bibs/sTeX) -- GitLab