this is a bit of a cheat, but if the problem is to produce the mathML that corresponds to a particular mathematical expression, why not approach the problem via

humanreadablemath->latex->mathML?

here are some human readable thoughts on stage 1 transform (humanreadablemath->mathML) and the stage 2 transform (latex->mathML).

STAGE 1

the first step is to take create your latex from your original mathematical input.

you can create .tex files from 'understandable' mathematical expressions via a perl file naturalmath.pl, which can be found at

http://www.math.missouri.edu/~stephen/naturalmath.

this will enable full transform from the text $input: 
integral from 0 to infinity of e ^ (-x^2/2)dx = sqrt(pi over 2)

[download]
to latex file test.tex

STAGE 2

now you just need to push this through some sort of latex->mathML converter, ie stage 2. are there some?

apparently yes:

one such can be found at: http://www.cse.ohio-state.edu/~gurari/docs/mml-00/mml-00.html . ermmm, i have not actually used the above - but apparently 'several' people are working on this, so 'one hopes' there is a reasonable chance of an adequate solution.

if not, you will still have all of the tex tools to play with creating gifs etc from your resultant tex file. of course, there are demerits to this chaining, but hey, this problem is imho big & nasty...

best wishes -
...wufnik

-- in the world of the mules there are no rules --

In reply to Re: XML Strategy For Computer Algebra by wufnik
in thread XML Strategy For Computer Algebra by Zaxo

Title:
Use:  <p> text here (a paragraph) </p>
and:  <code> code here </code>
to format your post, it's "PerlMonks-approved HTML":


  • Posts are HTML formatted. Put <p> </p> tags around your paragraphs. Put <code> </code> tags around your code and data!
  • Titles consisting of a single word are discouraged, and in most cases are disallowed outright.
  • Read Where should I post X? if you're not absolutely sure you're posting in the right place.
  • Please read these before you post! —
  • Posts may use any of the Perl Monks Approved HTML tags:
    a, abbr, b, big, blockquote, br, caption, center, col, colgroup, dd, del, details, div, dl, dt, em, font, h1, h2, h3, h4, h5, h6, hr, i, ins, li, ol, p, pre, readmore, small, span, spoiler, strike, strong, sub, summary, sup, table, tbody, td, tfoot, th, thead, tr, tt, u, ul, wbr
  • You may need to use entities for some characters, as follows. (Exception: Within code tags, you can put the characters literally.)
            For:     Use:
    & &amp;
    < &lt;
    > &gt;
    [ &#91;
    ] &#93;
  • Link using PerlMonks shortcuts! What shortcuts can I use for linking?
  • See Writeup Formatting Tips and other pages linked from there for more info.