私の研究グループには、MatlabのSymbolicToolboxやPythonのSympyなどのさまざまなシンボリックツールで代数モデリングを行うさまざまな人々がいます。これらのモデルは通常、Cコードにエクスポートされ、さらにシンボリック操作を行うために、独自のシンボリックC++ベースのツールにコピーアンドペーストされます。
このほとんど保守不可能なアプローチの代替案を探しているときに、多かれ少なかれ標準化されているように見える2つの形式、OpenMathと「ContentMathML」を見つけました。私たちはセマンティクスにのみ関心があり、きれいな印刷には関心がないことに注意してください。
これら2つのフォーマットの関係は何ですか?ツール間で数式を保存および交換するために両方を使用できますか?
数式の交換形式は、他にも多かれ少なかれ標準化されていますか?