コンテンツへスキップ
uencoder

OpenMath

OpenMathは、数学的対象を符号化するためのXMLベースのセマンティック標準である。MathML Contentと相補的な関係にあり、表現よりも厳密な意味を重視する。

目的

計算機代数システムとアプリケーションの間で、曖昧さのない厳密に意味論的な数学対象の表現を交換する。

メカニズム

<OMOBJ>ルートと<OMA>(適用)、<OMV>(変数)、<OMI>(整数)、<OMS>(記号、Content Dictionaryを参照)の各要素で数学対象を記述する。Content Dictionaryが記号の意味を定義する。

ユースケース

  • 数式処理システム間の相互運用(CAS)
  • 数学のナレッジベース
  • 厳密なセマンティック交換

関連ツール

References