Is there a library to evaluate MathML expressions?

Question

Given some MathML content:

<apply>
  <eq/>
  <ci>c</ci>
  <apply>
    <plus/>
    <ci>a</ci>
    <ci>b</ci>
  </apply>
</apply>

and

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

I wish to evaluate the MathML and retrieve the results. Is there a C/C++ library that can help to do this?

Answer 1

MathML has both semantic and presentational mark-up. So a generic MathML parser for evaluation is not possible.

I don't know of an actual implementation, some quick Googling did not find any reasonable results, but it basically boils down to writing your Polish expression interpreter (as the example you gave is in Polish notation). The steps:

1. get an XML parser and read in the document
2. walk through the tree
3. if you encounter a known operation or element, pop it on a stack
4. when the subexpression is complete, parse it (or better: wait for the entire expression to finish, look for the last operation, perform it with the number of arguments its arity prescribes and perform this until no operations are left)

At the end you'll have your result on the stack.