Using La\TeX\ as a semantic markup format

DOI10.1007/s11786-008-0055-5zbMath1176.68230OpenAlexW2077950169WikidataQ57389427 ScholiaQ57389427MaRDI QIDQ841688

Michael Kohlhase

Publication date: 18 September 2009

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11786-008-0055-5

zbMATH Keywords

knowledge representationsemanticselisiontypography

Mathematics Subject Classification ID

Knowledge representation (68T30) Computing methodologies for text processing; mathematical typography (68U15)

Related Items

Searching for mathematical formulas based on graph representation learning, Strategies for Parallel Markup, Growing the Digital Repository of Mathematical Formulae with Generic LaTex Sources, Semantic Enrichment of Mathematics via ‘tooltips’, Transforming large collections of scientific publications to XML, Injecting formal mathematics into LaTeX, System description STEX3 -- a \LaTeX-based ecosystem for semantic/active mathematical documents, 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, Integrating Web Services into Active Mathematical Documents, Spreadsheet Interaction with Frames: Exploring a Mathematical Practice, sTeX, A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics

Uses Software

• Isabelle/HOL
• CoFI
• ActiveMath
• LaTeXML
• OMDoc
• arXMLiv
• CTAN
• Hermes
• CPoint
• keyval