OpenMath
OpenMath 是用 XML 编码数学对象的语义标准,与 MathML Content 互补,强调严格语义而非呈现。
用途
在计算机代数系统与应用间交换数学对象的严格语义表示,确保无歧义。
机制
用 <OMOBJ> 根,<OMA>(应用)、<OMV>(变量)、<OMI>(整数)、<OMS>(符号,引用 Content Dictionary)描述数学对象。Content Dictionary 定义符号语义。
用例
- 计算机代数系统互操作
- 数学知识库
- 严格语义交换
OpenMath 是用 XML 编码数学对象的语义标准,与 MathML Content 互补,强调严格语义而非呈现。
在计算机代数系统与应用间交换数学对象的严格语义表示,确保无歧义。
用 <OMOBJ> 根,<OMA>(应用)、<OMV>(变量)、<OMI>(整数)、<OMS>(符号,引用 Content Dictionary)描述数学对象。Content Dictionary 定义符号语义。