sTeX

swMATH27415MaRDI QIDQ39132FDOQ39132

Author name not available (Why is that?)

Source code repository: https://github.com/KWARC/sTeX

Described by source

• Using La\TeX\ as a semantic markup format

Cited In (9)

• A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics
• Mathematical knowledge representation: semantic models and formalisms
• Semantic Enrichment of Mathematics via ‘tooltips’
• The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics
• Searching for mathematical formulas based on graph representation learning
• Growing the Digital Repository of Mathematical Formulae with Generic LaTex Sources
• Methods and means for semantic structuring of electronic mathematical documents
• Integrating Web Services into Active Mathematical Documents
• Combining Source, Content, Presentation, Narration, and Relational Representation

This page was built for software: sTeX