Re: [Clipboard] Mathematical Proofs in HTML5 Documents‏

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 UTC