罗斯·摩尔 通过“工具提示”丰富数学的语义。 （英语） Zbl 1417.68210号 Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：斯普林格。莱克特。票据计算。科学。9150, 338-342 (2015). 摘要：pdf的包mathsem-L（左）A类T型E类X（X）实现了一种为符号提供语义意义的方法，而不会给数学表达式的规范增加很大的语法负担。它使用了“主动评论”的概念，允许新行开头的“%”字符在高度控制的情况下成为主动标记。使用严格定义的语法，表示变量语义的单词（“\（x）”say）可以与以下表达式中每次出现的“\（x\）”相关联。这些单词成为工具提示的内容，在PDF文档中通过符号“弹出”。这个想法延伸到：=0.6厘米 1允许同一符号的多个实例具有不同的含义；2给宏观名称和字符符号附加语义；三。允许子表达式使用嵌套的工具提示矩形；4指定要附加到全局或本地级别的符号和宏的默认值，以保持文档扩展部分含义的一致性。计划使用相同的句法结构，在PDF文档中标记完整、可访问的数学内容的上下文中为口语“替代文本”提供单词。感谢Michael Kohlhase提出的建议。有关整个系列，请参见[Zbl 1316.68015号]. MSC公司： 68立方英尺 知识表示 68单位15 文本处理的计算方法；数学排版 软件：辛烷；数学扫描电镜；sTeX公司；乳胶；pdf注释 PDF格式BibTeX公司 XML格式引用 \textit{R.Moore}，莱克特。票据计算。科学。9150338--342（2015；Zbl 1417.68210） 全文： 内政部 参考文献： [1] Adobe Systems Inc。；PDF参考1.72006年11月。也可用作[3]。http://www.adobe.com/devnet/pdf/pdf_reference.html [2] Groza、Tudor、Handschuh、Siegfried、Möller、Knud、Decker、Stefan:SALT-科学出版物的语义注释\（####）。In:Franconi，Enrico，Kifer，Michael，May，Wolfgang（编辑）ESWC 2007。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 ·兹比尔1176.68230 [6] Kohlhase，M.：\（####）：\（####\）中的语义标记。\（#####）包的文档。https://trac.kwarc.info/sTeX/export/2430/trunk/sty/sTeX.pdf [7] Kleber，J.：（{\sf{pdfcomment}}）-一个用户友好的pdf注释界面\（####\）包；可从CTAN获得；版本2.3a，2012年9月 [8] Knuth，D.E.：（####）。艾迪森·韦斯利（1984年、1986年及以后的修订）·Zbl 0548.60011号 [9] Moore，R.R.：使用\（####\）生成“标记PDF”的持续努力，穆尼出版社，2009年。转载为：TUGboat，第30卷，第2期，第170-175页（2009年）·Zbl 1176.68231号 [10] Moore，R.R.：为了可访问性和其他目的，在PDF中标记数学。参见：CICM-WS-WiP 2013。CEUR研讨会论文集，第1010卷，论文-01.pdf（2013） [11] 罗斯•摩尔（Ross Moore）；斯蒂芬·瓦特（Stephen M.Watt）。；James H.Davenport。；艾伦·P·塞克斯顿。；Petr Sojka；Urban，Josef，PDF/A-3u作为无障碍数学的存档格式，智能计算机数学，184-199（2014），海德堡：斯普林格，海德伯格·Zbl 1304.68174号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。