內容MathML與OpenMath進行模型交換

Question

在我的研究小組中，我們有不同的人在不同的符號工具中進行代數建模，例如Matlab中的Symbolic Toolbox和Python中的Sympy。然後，這些模型通常會導出爲C代碼並複製粘貼到我們自己的基於符號C++的工具中，以進行進一步的符號操作。

當尋找替代這種難以維護的方法時，我發現兩種格式看起來差不多標準化：OpenMath和「Content MathML」。請注意，我們只對語義感興趣，沒有漂亮的打印。

這兩種格式之間的關係是什麼？既可以用來存儲和交換工具之間的數學表達式？

數學表達式還有其他或多或少標準化的交換格式嗎？

Answer 1

這些格式是非常密切相關的（並且大致同時由一組重疊的人定義）（例如，我是MathML和OpenMath規範的編輯者）。在當前版本的Content MathML（MathML 3）中，它的形式化程度遠遠高於早期版本，並且所有MathML內容元素都以openmath符號的形式給出了語義。所以形式上唯一的區別就是語法，Content MathML有一個「嚴格」的子集，它是OpenMath的一種正式編碼，外加一組給予OpenMath等效子集的正式重寫規則的便利元素。

除了表達式本身的語法之外，如果您偏離了MathML中預定義的固定運算符集合，您需要某種方式來記錄定義，並且這裏OpenMath和MathML都使用相同的OpenMath「Content字典「格式。