W3C home > Mailing lists > Public > www-math@w3.org > September 2009

update to OpenMath Content Dictionary site

From: David Carlisle <davidc@nag.co.uk>
Date: Mon, 14 Sep 2009 14:23:40 +0100
Message-Id: <200909141323.n8EDNeSF016297@edinburgh.nag.co.uk>
To: om-announce@openmath.org
Cc: www-math@w3.org

As agreed at the OpenMath 2009 meeting in June there have been some
updates to the OpenMath CDs


Mainly these updates have been made in conjunction with the W3C math
Working Group, while drafting MathML3.  (See
http://monet.nag.co.uk/~dpc/cdfiles2 for a top level list of the

The stylesheets displaying (all) Content Dictionaries at OpenMath.org
have been updated at the same time  All OpenMath examples are now shown
as (Strict) Content MathML and popcorn as well as the OpenMath XML and
"prefix" syntax used previously.

Strict Content MathML is a profile of Content MathML 3 designed to align
exactly with OpenMath, it is defined in the MathML 3 draft,

popcorn is a linear syntax for OpenMath similar to the "prefix form"
used in previous CD displays, but it has the benefit of being a defined
grammar supported by existing software. It has been developed as part of
the SCIEnce project and presented at OM2009 (although I am to blame for
the particular XSLT conversion to pocorn used in the CD stylesheets, so
please report any bugs to me)



The Numerical Algorithms Group Ltd is a company registered in England
and Wales with company number 1249803. The registered office is:
Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.

This e-mail has been scanned for all viruses by Star. The service is
powered by MessageLabs. 
Received on Monday, 14 September 2009 13:24:25 UTC

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