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

http://www.openmath.org/cd/index.html


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
updates)


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,
http://www.w3.org/tr/mathml3
.

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)

http://java.symcomp.org/FormalPopcorn.html

David

________________________________________________________________________
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 20 February 2010 06:13:05 GMT