内容モデル交換用MathMLとOpenMath

Question

私の研究グループでは、MatlabのSymbolic ToolboxやPythonのSympyなど、さまざまなシンボリックツールで代数モデリングを行う人々がいます。これらのモデルは、通常、Cコードにエクスポートされ、さらにシンボリックな操作のために、独自のシンボルC++ベースのツールにコピー・ペーストされます。

このメンテナンスが難しいアプローチの代わりに、OpenMathと "Content MathML"という2つのフォーマットが標準化されています。私たちはセマンティクスだけに興味があり、かなり印刷していないことに注意してください。

これら2つの形式の関係は何ですか？両方のツール間で数学的表現を保存して交換することができますか？

もう少し標準化された数式の交換フォーマットはありますか？

Answer 1

フォーマットは非常に密接に関連していて（重複している人によってほぼ同時に定義されています）（私はMathMLとOpenMathの両方のスペックのエディターです）。現在のバージョンのContent MathML（MathML 3）では、これは以前のバージョンよりもはるかに形式化されており、すべてのMathMLコンテンツ要素は、オープンマスシンボルの意味で与えられています。正式な違いは構文だけです。内容MathMLには、OpenMathの正式なエンコーディングである厳密なサブセットと、OpenMathの同等のサブセットに正式な書き換えルールが与えられた便利な要素のセットがあります。

MathMLで事前定義された固定された演算子から離れてしまうと、定義を記録する方法が必要になります.OpenMathとMathMLの両方で同じOpenMathの "Content辞書 "形式である。