×

兹马思-数学第一资源

通过“工具提示”丰富数学的语义。(英语) Zbl 1417.68210
Kerber,Manfred(编辑)等人,《智能计算机数学》。2015年国际会议,2015年国际会议,华盛顿特区,美国,2015年7月13-17日,会议记录。查姆:斯普林格。选择。笔记计算。科学。9150338-342(2015年)。
总结:一个pdf的包方法-ATE实现一种为符号提供语义意义的方法,而不会给数学表达式的规范增加很大的语法负担。它使用“active comment”的概念,允许新行开头的“%”字符在高度控制的情况下成为活动标记。在严格定义的语法下,表示变量语义的单词(“\(x\)”say)可以与“\(x\)”在下面的表达式中的每次出现相关联。这些单词成为工具提示的内容,在PDF文档中通过符号“弹出”。这个概念延伸到:=0.6厘米
1
允许同一符号的多个实例具有不同的含义;
2
为宏名称和字符符号附加语义;
三。
允许嵌套工具提示矩形,用于子表达式;
4
指定默认值以附加到全局或本地级别的符号和宏,以保持文档扩展部分中含义的一致性。
计划使用相同的句法结构,在PDF文档中的完全标记、可访问的数学内容的上下文中为口语“替代文本”提供单词。
感谢Michael Kohlhase提出的建议。
整个系列请参见[Zbl 1316.68015].
理学硕士:
68T30型 知识表示
68U15 文本处理的计算方法;数学版式
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Adobe系统公司。;PDF参考1.7,2006年11月。也可用作[3]。http://www.adobe.com/devnet/pdf/pdf_reference.html
[2] Schantuder,Scientific Chunticaly,Schantudeh,科学出版物。作者:Franconi,Enrico,Kifer,Michael,May,Wolfgang(编辑)2007年ESWC。LNCS,第4519卷,第518-532页。斯普林格,海德堡(2007)
[3] ISO 32000–1:2008标准;文件管理-可移植文件格式(PDF 1.7);技术委员会ISO/TC 171/SC 22008年7月
[4] ISO 14289–1:2012标准;文件管理应用.增强可访问性的电子文件格式.第1部分:ISO 32000-1(PDF/UA-1)的使用;技术委员会ISO/TC 171/SC 2。修正版,2014年12月
[5] Kohlhase,M.:使用作为语义标记格式,《计算机科学中的数学》(2:2),第279-304页。Birkhäuser(2008年)。https://svn.kwarc.info/repos/stex/doc/mcs08/stex.pdf·Zbl 1176.68230
[6] Kohlhase,M.::语义标记。包装文件。https://trac.kwarc.info/sTeX/export/2430/trunk/sty/sTeX.pdf
[7] 克莱伯,J.:\[{\mathsf{pdfcomment}}\]–用户友好的pdf注释界面。包裹;CTAN提供;版本2.3a,2012年9月
[8] Knuth,D.E.:The。艾迪生·韦斯利(1984年、1986年及以后修订版)
[9] 2009年:穆尼尔,正在进行的努力。再版为:拖船,第30卷,第2期,第170-175页(2009年)·Zbl 1176.68231
[10] Moore,R.R.:在pdf中标记数学,以便于访问和其他用途。在:CICM WS WiP 2013。CEUR研讨会论文集,第1010卷,paper-01.pdf(2013)
[11] 摩尔,罗斯:PDF/A-3u作为无障碍数学的档案格式。In:Watt,Stephen M.,Davenport,James H.,Sexton,Alan P.,Sojka,Petr,Urban,Josef(编辑)CICM 2014。LNCS,第8543卷,第184-199页。斯普林格,海德堡(2014)·Zbl 1304.68174
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。