arXMLiv公司 swMATH编号： 11679 软件作者： 德扬·基涅夫、康斯坦丁·朱科夫斯基、斯特凡·安卡、米海·格里戈尔、卡塔琳·戴维、迈克尔·科尔哈斯 描述： arXMLiv：将arXiv转换为XML+MathML：过去几年，出现了各种基于XML、面向内容的标记语言，用于web上的数学和自然科学，例如OpenMath、content-MathML或我们自己的OMDoc和PhysML。这些表示语言侧重于数学，并使文档中数学知识的结构足够明确，机器可以对其进行操作。这些面向内容的方法的前景是，数学中涉及的各种任务（例如搜索、导航、交叉引用、质量控制、用户自适应演示、证明、模拟）都可以由机器支持，因此，这位工作的数学家可以放心地做人类仍能比机器做得更好的事情。在arXMLiv项目中，我们试图将arXiv存储库中捕获的大量科学知识转换为基于内容的形式，以便将其用作增值服务的基础。我们正在使用Bruce Miller的LaTeXML系统，通过Presentation MathML将LaTeX文档转换为XHTML/HTML5。LaTeXML是使用可编程XML发射器重新实现TeX解析器。该系统的主要优点是，我们可以通过为宏提供自定义的“LaTeXML绑定”来控制宏的扩展。这些是指示发射器直接构造输出XML，而不是将宏扩展为TeX原语。arXMLiv项目的主要技术任务是为arXiv集合中使用的（数千）LaTeX类和包提供LaTeXML绑定。为此，我们开发了一个分布式构建系统，该系统在arXiv集合上连续运行LaTeXML，并收集有关例如最严重缺失的LaTeXML绑定的统计信息。我们有一半以上的arXiv收集过程（一次运行是一个处理器年规模的任务），并且成功率已经超过60 主页： http://trac.kwarc.info/arXMLiv/ 相关软件： LaTeXML;乳胶;动态数学;爱马仕;DLMF公司;电子几何教科书;OMDoc公司;数学ML;地理1.1;地理文本;三峡工程;Intergeo公司;GeoThms公司;GCL校准仪;GCLC公司;GeoGebra公司;SPARQL公司;公式制定器MathML;STEX公司+;STEXIDE公司 引用于： 6文件 更多出版物： http://trac.kwarc.info/arXMLiv/wiki/Publications网站 全部的 前5名10位作者引用 三 迈克尔·科尔哈塞 2 加泰林·大卫 2 吉涅夫，德扬 2 布鲁斯·米勒。 2 海因里希·斯坦默约翰斯 1 陈晓宇 1 克里斯托夫·兰格 1 迪米塔尔·米西 1 王东明 1 弗拉基米尔·扎姆德日耶夫 2篇连载文章中引用 三 计算机科学中的数学 1 语义网研究 在1个字段中引用 6 计算机科学（68至XX） 按年份列出的引文