LaTeX構文の数式をContentMathMLまたはOpenMathに変換するGNU/Linuxの世界のオープンソースツールまたはライブラリ(できればJavaですが、これは厳密な要件ではありません)を知っていますか?
大量の方程式をバッチモードで変換する必要があるため、インタラクティブなアプリを探し ていません。
編集私の焦点は方程式のセマンティクスにあるので、Presentation MathMLを使用できません(PresentationMathMLからContentMathMLへのコンバーターがない限り)。
前もって感謝します!