W3C home > Mailing lists > Public > www-math@w3.org > February 2007

Re: Evaluating Content MathML

From: Paul Libbrecht <paul@activemath.org>
Date: Thu, 22 Feb 2007 11:42:17 +0100
Message-ID: <45DD7389.3080009@activemath.org>
To: sarom@web.de
Cc: www-math@w3.org


there's a few tools to generate and process OpenMath.
- The Wiris input-editor and JOME are two expression editors (JOME is 
- there are several conversion tools and at least one library
- There are several linear-syntax-to-OpenMath processors, QMath is one 
of them I like
In conjunction with the MathML-content-to-and-from-OpenMath stylesheets, 
you could take advantage of it.

Tools to edit and process Content-MathML do exist a bit as well.
To name a few WebEQ, Mathematica, and Maple (both of the latter only 
with direct function calls very unfortunately), I think Maplets could 
give you this as well maybe.

You haven't been very clear about your intent of processing 
MathML-content... why is a general XML library not appropriate for you ? 
E.g. DOM, StAX, JDOM ?
At least to instantiate variables this is what I'd use.


Roman Sachse 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
Received on Thursday, 22 February 2007 10:42:34 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:27:39 UTC