- From: W Naylor <wn@cs.bath.ac.uk>
- Date: Mon, 19 Feb 2007 10:15:15 +0000 (GMT)
- To: Chris Chiasson <chris@chiasson.name>
- cc: sarom@web.de, www-math@w3.org
Maple also has pretty good support for MathML. A slightly different problem, which I presented at MKM2006 in Wokingham was going from OpenMath (which you could get from MathML using David Carlisles style sheets) to strongly typed Aldor Objects. Unlike Maple and Mathematica, Aldor is a free system (at least you don't have to pay to use it, the source of the compiler is not free yet ... grumble :-( ): http://www.aldor.org/ my Wokingham paper is available at: http://www.cs.bath.ac.uk/~wn/Papers/aldorService.pdf or in the MKM2006 proceedings if you happen to have a copy. I can send you a tar file containing my source if you want, cheers, Bill On Mon, 19 Feb 2007, Chris Chiasson wrote: > > Mathematica has reasonable support for generating and consuming content > MathML. > > On 2/18/07, Roman Sachse <sarom@web.de> wrote: > > > > Hello List > > > > For my Bachelors Thesis I am trying to store mathematical expressions in > > an ontology via content MathML. > > > > To be able to work with these expressions I need a parser (preferably > > Java) which is able to generate content MathML and more important is > > able to read MathML expressions, instantiates the variables and returns > > the result. > > > > Maybe I am completely blind but I was not able to find anything that > > satisfies my requirements. > > > > Actually these were my only findings: > > http://www.eteks.com/jeks/en/doc/com/eteks/parser/MathMLInterpreter.html > > (which does one part of the job, namely creating MathML output) > > and this question: > > http://lists.w3.org/Archives/Public/www-math/2006Apr/0060.html > > posted about a year ago. > > > > Is there no parser that can work with content MathML input or am I > > completely on the wrong track? > > > > Thanks for your help. > > > > Cheers, > > > > Roman > > > > > > > > > -- > http://chris.chiasson.name/ > > > >
Received on Monday, 19 February 2007 10:15:39 UTC