On the MathML site at
http://indy.cs.concordia.ca/mathml/
a section on REDUCE - MathML Interface has been added at
http://indy.cs.concordia.ca/mathml/cas/reduce/ .
It seems that the Plug-in output option does not work in all cases.
For example, it works well with the input
limit(x*sin(1/x),x,infinity);
but not with
int(sinh(x),x,0,infinity);
where it results in an error when used with the techexplorer plug-in.
Pankaj Kamthan