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.