跳到主要内容
uencoder

OpenMath

OpenMath 是用 XML 编码数学对象的语义标准,与 MathML Content 互补,强调严格语义而非呈现。

用途

在计算机代数系统与应用间交换数学对象的严格语义表示,确保无歧义。

机制

用 <OMOBJ> 根,<OMA>(应用)、<OMV>(变量)、<OMI>(整数)、<OMS>(符号,引用 Content Dictionary)描述数学对象。Content Dictionary 定义符号语义。

用例

  • 计算机代数系统互操作
  • 数学知识库
  • 严格语义交换

相关工具

参考链接