W3C home > Mailing lists > Public > www-math@w3.org > March 2012

Re: Using content-MathML for computation and analysis in Science and Engineering

From: Bruce Miller <bruce.miller@nist.gov>
Date: Thu, 15 Mar 2012 10:46:27 -0400
Message-id: <4F6200C3.2040804@nist.gov>
To: Peter Murray-Rust <pm286@cam.ac.uk>
Cc: Paul Libbrecht <paul@hoplahup.net>, Daniel Marques <dani@wiris.com>, "www-math@w3.org" <www-math@w3.org>
On 03/15/2012 10:24 AM, Peter Murray-Rust wrote:
> Many thanks to all of you (happy to have more comments, of course, but you have
> answered my concerns).  There's always a requirement for *some* implicit
> semantics and I think I can see a fairly clear intuitive boundary now.
> Clearly scope is important and my current implementation uses a symbol table in
> the immediate parent <mathml/> (I assume that <mathml/> is not nestable, but in
> case it was this defines a scope.
> My other question is whether I can include foreign namespaces. I can see things
> like:

You can, but it's not (purely) MathML anymore...
if that matters.

As you said earlier in the thread: MathML has good
declarative power. But to express programming or
computations, you'll need imperative.
At least simple things like distinguishing
the declarative relationship k=0.1 from the
imperative assignment k=0.1.

It isn't that MML or OM can't do that, but the
content dictionaries don't provide much.

You'll have an easier time declaring the relationships
in MathML than expressing the demand for their computations
--- assuming your computational engine can figure out
what to do.  However, if you do want to express the computations,
I would encourage you to at least consider how those could
be cast in MathML using apply, csymbol etc.  and in particular
using a content dictionary with symbols for expressing those
imperatives.  Could be useful to others!


> <apply><eq/><ci>atomSet</ci><apply><cml:getatoms/><cml:molecule id="m3"/></apply>
> <foreach>
> <!-- iterate through the set -->
> <apply><eq/><cn>aw</cn><apply><cml:getMass/><cml:atom></apply><apply>
> </foreach>
Received on Thursday, 15 March 2012 14:47:07 UTC

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