迈克尔·科尔哈斯 使用La吨E类X（X）作为一种语义标记格式。 （英语） 兹比尔1176.68230 数学。计算。科学。 2，第2号，279-304（2008）. 摘要：数学知识管理（MKM）系统的一个重大问题是获取足够大的数学知识库，以便社区开发的管理/搜索/导航技术发挥其优势。此类系统通常期望以语义增强文档的形式操作数学知识，但数学方面的数学家和出版商已经在吨E类X（X）/拉丁美洲吨E类X（X）格式和工作流程。我们分析了La中半语义标记的当前实践吨E类X（X）文档并通过允许将语义注释嵌入到La中的标记基础结构对其进行扩展吨E类X（X）文档，而不更改其视觉外观。本系列吨E类X（X）宏包称为s吨E类X（X）（语义吨E类X（X）)因为它允许标记La吨E类X（X）文档语义上不留时间吨E类X（X）/拉丁美洲吨E类X（X）工作流程，基本上转向La吨E类X（X）转换为MKM格式。在s的核心吨E类X（X）是数学对象语义宏的定义机制，是数学对象的非标准作用域构造，面向语义依赖关系而非文档结构。我们评估La吨E类X（X）大型案例研究的宏观收集：布鲁斯·米勒（Bruce Miller）的LaTeXML系统对计算机科学（Computer Science）两学期课程的课程材料进行了语义注释，并将其转换为OMDoc MKM格式。 引用于13文件 MSC公司： 68单位15 文本处理的计算方法；数学排版 68立方英尺 知识表示 关键词：知识表示；省略；印刷术；语义学 软件：CoFI公司；动态数学；爱马仕；arXMLiv公司；sTeX公司；辛烷；C点；基瓦尔；OMDoc公司；LaTeXML；伊莎贝尔/HOL PDF格式BibTeX公司 XML格式引用 \textit{M.Kohlhase}，数学。计算。科学。2，第2号，279--304（2008；Zbl 1176.68230） 全文： 内政部