sTeX
From MaRDI portal
Software:39132
No author found.
Source code repository: https://github.com/KWARC/sTeX
Related Items (9)
Searching for mathematical formulas based on graph representation learning ⋮ Growing the Digital Repository of Mathematical Formulae with Generic LaTex Sources ⋮ Semantic Enrichment of Mathematics via ‘tooltips’ ⋮ Methods and means for semantic structuring of electronic mathematical documents ⋮ Mathematical knowledge representation: semantic models and formalisms ⋮ Combining Source, Content, Presentation, Narration, and Relational Representation ⋮ The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics ⋮ Integrating Web Services into Active Mathematical Documents ⋮ A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics
This page was built for software: sTeX
