David,
> usually things import mathml, do whatever manipulations they want, then
> export again, rather than directly working on mathml itself.
> So mathematica and maple for example could inport a mathml
> representation of a formula and do all kinds of simplifications, but
> probably they are rather more heavyweight than you have in mind?
>
Yes, I've also already been looking at Maxima and what I have in mind is
very similar to a reduced Jasymca
(http://webuser.hs-furtwangen.de/~dersch/jasymca2/index.html)
Best regards,
Alain
