The following pages link to sTeX (Q39132):
Displaying 9 items.
- Searching for mathematical formulas based on graph representation learning (Q2128810) (← links)
- Mathematical knowledge representation: semantic models and formalisms (Q2263116) (← links)
- The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics (Q2819263) (← links)
- Growing the Digital Repository of Mathematical Formulae with Generic LaTex Sources (Q3453123) (← links)
- Semantic Enrichment of Mathematics via ‘tooltips’ (Q3453130) (← links)
- Integrating Web Services into Active Mathematical Documents (Q3637285) (← links)
- Combining Source, Content, Presentation, Narration, and Relational Representation (Q5200120) (← links)
- A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics (Q5495921) (← links)
- Methods and means for semantic structuring of electronic mathematical documents (Q5892023) (← links)