W3C home > Mailing lists > Public > public-webapps@w3.org > April to June 2012

Re: [Clipboard] Mathematical Proofs in HTML5 Documents‏

From: Henri Sivonen <hsivonen@iki.fi>
Date: Tue, 3 Apr 2012 15:34:35 +0300
Message-ID: <CAJQvAudHvS9g6okVnH7aBiww_=xO0FUN5pm9DXp8qq-=h_YWjg@mail.gmail.com>
To: Adam Sobieski <adamsobieski@hotmail.com>
Cc: public-webapps@w3.org, hallvord@opera.com
On Tue, Apr 3, 2012 at 4:57 AM, Adam Sobieski <adamsobieski@hotmail.com> wrote:
> MathML3 includes <annotation> and <annotation-xml> elements which can
> provide parallel representations of mathematical semantics

> 1. Having entire proofs in <math> elements. Proof formats could then express
> semantics in <annotation> or <annotation-xml> elements. OpenMath content
> dictionaries could come to exist for mathematical proof structures.
>
> 2. Having proofs in HTML5 document structure, possibly containing one or
> more <math> element instances, while utilizing XML attributes from other
> XMLNS.

Does any browser currently support any kind of a XML-based clipboard
flavor? If you transfer MathML islands using an HTML clipboard flavor,
you can't use arbitrary namespaces.

> 3. Having proofs in HTML5 document structure, possibly containing one or
> more <math> element instances, while utilizing RDFA
> (http://dev.w3.org/html5/rdfa/). Proof structure and semantics can overlay
> the HTML5 and/or the RDFA can relate elements to referenced external
> resources.

What kind of software do expect to consume of this kind of data?

-- 
Henri Sivonen
hsivonen@iki.fi
http://hsivonen.iki.fi/
Received on Tuesday, 3 April 2012 12:35:07 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 18:49:51 GMT