sTeX Documentation
Research Papers
- Andrea Kohlhase, Michael Kohlhase, Christoph Lange. sTeX – A System for Flexible Formalization of Linked Data; in Nicola Henze, Adrian Paschke, Andreas Blumauer, Richard Cyganiak, Tassilo Pellegrini, eds.: Proceedings of I-Semantics 2010; ACM 2010.
- Michael Kohlhase. Using LaTeX as a Semantic Markup Format, pp. 279 -304 in M. Kerber ed. Mathematics in Computer Science, Birkhäuser, 2008;
Manuals, Tutorials, etc.
- sTeX: Semantic Markup for TeX/LaTeX; the documentation generated from the sTeX packages
- An introductory tutorial on the MathWeb? wiki.
- the archives of the sTeX mailing list.
