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)

• Mathematical knowledge representation: semantic models and formalisms
• Semantic Enrichment of Mathematics via ‘tooltips’
• Combining source, content, presentation, narration, and relational representation
• The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics
• Searching for mathematical formulas based on graph representation learning
• A data model and encoding for a semantic, multilingual terminology of mathematics
• 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

This page was built for software: sTeX