Abstract
We report on – a complete redesign and reimplementation (using ) from the ground up of the ecosystem for semantic markup of mathematical documents. Specifically, we present: i) The package that allows declaring semantic macros and provides a module system for organizing and importing semantic macros using logical identifiers. is a (now) standard package with minimal dependencies and is compatible with arbitrary document class and package. ii) The system, an implementation of the core TeX-engine in Rust. It allows for converting arbitrary -documents to XHTML – for -documents enriched with semantic annotations based on the OMDoc ontology. iii) An Mmt integration: The -generated XHTML can be imported and served by the Mmt system for further semantic knowledge management services.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
- 2.
Available at https://github.com/slatex/sTeX-IDE.
References
Horozal, F., Iacob, A., Jucovschi, C., Kohlhase, M., Rabe, F.: Combining source, content, presentation, narration, and relational representation. In: Davenport, J.H., Farmer, W.M., Urban, J., Rabe, F. (eds.) CICM 2011. LNCS (LNAI), vol. 6824, pp. 212–227. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-22673-1_15
Kohlhase, M., Müller, D.: The sTeX3 package collection. Tech. rep. https://github.com/slatex/sTeX/blob/main/doc/stex-doc.pdf. Accessed 24 Apr 2022
Kohlhase, M.: OMDoc–an open markup format for mathematical documents [Version 1.2] (2006). https://omdoc.org/pubs/omdoc1.2.pdf
Kohlhase, M.: Using LATEX as a semantic markup format. Math. Comput. Sci. 2(2), 279–304 (2008). https://doi.org/10.1007/s11786-008-0055-5
Miller, B.: LaTeXML: a LATEX to XML converter. https://dlmf.nist.gov/LaTeXML. Accessed 12 Mar 2021
MMT - language and system for the uniform representation of knowledge. https://uniformal.github.io/. Accessed 15 Jan 2019
Rabe, F., Kohlhase, M.: A scalable module system. Inf. Comput. 230, 1–54 (2013). https://kwarc.info/frabe/Research/mmt.pdf
sLaTeX: an ecosystem for semantically enhanced LATEX. https://github.com/sLaTeX. Accessed 11 Mar 2021
SMGloM: a semantic, multilingual terminology for mathematics. https://smglom.mathhub.info. Accessed 21 Apr 2014
sTeX: a semantic extension of TeX/LaTeX. https://github.com/sLaTeX/sTeX. Accessed 11 May 2020
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Kohlhase, M., Müller, D. (2022). System Description STEX3 – A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents. In: Buzzard, K., Kutsia, T. (eds) Intelligent Computer Mathematics. CICM 2022. Lecture Notes in Computer Science(), vol 13467. Springer, Cham. https://doi.org/10.1007/978-3-031-16681-5_13
Download citation
DOI: https://doi.org/10.1007/978-3-031-16681-5_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-16680-8
Online ISBN: 978-3-031-16681-5
eBook Packages: Computer ScienceComputer Science (R0)