×
布鲁斯·米勒。

并行标记策略。 （英语） Zbl 1417.68209号

Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9150, 203-210 (2015).
摘要：数学的交叉引用并行标记允许组合表示和内容表示，同时关联每种表示的组件。有趣的应用程序是通过这样的安排实现的：与部分演示进行交互，以操作和查询相应的内容；增强的搜索索引。尽管这种标记的想法并不新鲜，但创建和操作它的有效技术比表面上看起来要困难得多。由于两种格式中的结构和标记通常不一一对应，因此必须开发决策和启发式，以确定每个组件以何种方式引用另一个表示的组件并被其引用。细粒度和粗粒度并行标记之间的转换使其复杂化xml格式标识符（ID）分配。在本文中，我们将描述为L（左）A类T型E类X（X）毫升，一个T型E类X（X）/L（左）A类T型E类X（X）到xml格式转换器，用于创建交叉引用的并行数学ML.虽然尚未考虑L（左）A类T型E类X（X）毫升的内容数学ML要想真正发挥作用，目前的努力是朝着这一持续目标迈出的一步。
关于整个系列，请参见[Zbl 1316.68015号].

引用于2文件

MSC公司：

68立方英尺 知识表示
68单位15 文本处理的计算方法；数学排版

软件：

乳胶;数学ML;arXMLiv公司;LaTeXML
PDF格式BibTeX公司 XML格式引用
\textit{B.R.Miller}，莱克特。注释计算。科学。9150203-210（2015；Zbl 1417.68209）
全文： DOI程序 arXiv公司

参考文献：

[1] Ausbrooks，R.、Buswell，S.、Carlisle，D.、Chavchanidze，G.、Dalmas，S.，Devitt，S.和Diaz，A.、Dooley，S.以及Hunter，R.，Ion，P.，Kohlhase，M.，Lazrek，A.、Libbrecht，P.、Miller，B.、Miner，R.和Sargent，M.、Smith，B.、Soiffer，N.、Sutor，R.以及Watt，S.：数学标记语言（MathML）3.0版。W3C建议书，万维网联盟（W3C）（2010年）。http://www.w3.org/TR/MathML3
[2] Ginev，D.、Jucovschi，C.、Anca，S.、Grigore，M.、David，C.和Kohlhase，M.：arXMLiv语料库的语言和语义分析架构。In:Informatik 2009（2009）语义技术应用研讨会
[3] Hickson，I.、Berjon，R.、Faulkner，S.、Leithead，T.、Navara，E.D.、O'Connor，E.、Pfeiffer，S.：HTML5。W3C建议，万维网联盟（W3C）（2014）。http://www.w3.org/TR/html5/
[4] Kohlhase，M.：使用\（####）作为语义标记格式。数学。计算。科学。2(2), 279-304 (2008) ·Zbl 1176.68230号
[5] 科尔哈斯，M.：灵活形式主义宣言。摘自：Voronkov，A.、Negru，V.、Ida，T.、Jebelean，T.，Petcu，D.、ane Daniela Zaharie，S.M.W.（编辑）第14届科学计算符号和数字算法国际研讨会（SYNASC 2012），第30-36页。IEEE出版社，Timisoara（2013）
[6] 米勒，BR；Youssef，A.，《数学函数数字库的技术方面》，Ann.Math。Artif公司。智力。，38, 1-3, 121-136 (2003) ·Zbl 1019.65002号 ·doi:10.1023/A:1022967814992
[7] 米勒，BR；Youssef，A。；Autexier，S。；坎贝尔，J。；卢比奥，J。；索尔格，V。；铃木，M。；Wiedijk，F.，《用于搜索的增强演示MathML》，《智能计算机数学》，536-542（2008），海德堡：施普林格·Zbl 1166.68315号 ·doi:10.1007/978-3-540-85110-3_43
[8] Stamerjohanns，H。；Kohlhase先生。；Ginev，D。；大卫·C。；Miller，B.，将大量科学出版物转换为XML，数学。计算。科学。，3, 3, 299-307 (2010) ·Zbl 1205.68490号 ·doi:10.1007/s11786-010-0024-7
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。