System description STEX3 -- a \LaTeX-based ecosystem for semantic/active mathematical documents

DOI10.1007/978-3-031-16681-5_13OpenAlexW4296118847MaRDI QIDQ6160560

Michael Kohlhase, Dennis Müller

Publication date: 2 June 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-16681-5_13

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Related Items (2)

Learning support systems based on mathematical knowledge management ⋮ Towards an annotation standard for STEM documents. Datasets, benchmarks, and spotters

Cites Work

• A scalable module system
• Using La\TeX\ as a semantic markup format
• Combining Source, Content, Presentation, Narration, and Relational Representation

This page was built for publication: System description STEX3 -- a \LaTeX-based ecosystem for semantic/active mathematical documents