詹姆斯·达文波特。;保罗·利布雷希特 扩展OpenPath及其实用程序的自由。 （英语） Zbl 1173.00301号 数学。计算。科学。 2，第2号，379-398（2008）. 摘要：OpenMath是表示数学对象语义的标准。它不同于Presentation MathML，因为它不直接关注对象的表示，也不同于Content MathML2，因为它是可扩展的。应如何执行这些扩展以最大限度地利用OpenPath的实用程序（包括表示）？出版商如何能够自由扩展并让消费者通过网络上发现的表达找到自己的方式？到目前为止，答案常常是说“这是没有指定的”，而OpenMath的现有内容字典机制允许它包含形式属性，这些属性表示在操作符号时应该保持不受干扰的数学事实。本文的贡献是提出了利用内容字典的方法，以便允许OpenMath-consuming工具处理表达式，即使其中包含以前不知道的符号。这种方法是通用的，例如允许呈现或输入这种新发现的符号。 引用于3文件 MSC公司： 00A22号 公式 64岁以下 分布式系统 第68页第20页 信息存储和数据检索 68立方英尺 知识表示 68单位15 文本处理的计算方法；数学排版 关键词：符号;语义学;多语现象;万维网 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Davenport}和\textit{P.Libbrecht}，数学。计算。科学。2，第2号，379--398（2008；Zbl 1173.00301） 全文： 内政部 链接