如何评估MathML表达式?

给出一些MathML内容:

  c   a b   

 std::map cal; cal["a"] = 1.; cal["b"] = 2.; cal["c"] = 0; // does not matter what c is 

我希望评估MathML并检索结果。 有没有办法做到这一点?

MathML具有语义和表示标记。 因此,无法进行用于评估的通用MathML解析器。

我不知道实际的实现,一些快速谷歌搜索没有找到任何合理的结果,但它基本上归结为写波兰表达式解释器(你给出的例子是波兰表示法)。 步骤:

  1. 获取XML解析器并读入文档
  2. 穿过树
  3. 如果遇到已知的操作或元素,请将其弹出堆栈
  4. 当子表达式完成时,解析它(或更好:等待整个表达式完成,查找最后一个操作,使用其arity规定的参数数量执行它并执行此操作直到没有剩下任何操作)

最后,你将把你的结果放在堆栈上。

一种方法是找到一个可以导入mathml的计算机代数系统(CAS)。 不幸的是,虽然很多软件都输出了mathml,但几乎都没有读出它。 以下是一些cas系统的相关链接:

CasADi(不是严格的CAS,但可以评估表达式): https ://sourceforge.net/apps/trac/casadi/ticket/149

sympy: http : //code.google.com/p/sympy/issues/detail? id = 2971

matlab / mupad: http : //www.mathworks.nl/help/toolbox/mupad/generate/MathML.html