[Om] Various OpenMath 2 standard issues to be discussed

[Christoph LANGE]

Dear OpenMath community,

  in the final write-up of the OpenMath-related topics of my thesis I have stumbled upon some more problems with the OpenMath 2 standard.  I will file all of these problems as Trac tickets.  At the moment I won't have time to discuss these issues in full detail, so these tickets are rather reminders to initiate a discussion afterwards.  (@James, for that same reason I could not yet look into your DLMF report – sorry!)  You can, however, already have a look and subscribe to the tickets.  I have not Cced anyone by default.

These are the first ones, expect more to come:
https://trac.mathweb.org/OM3/ticket/125
https://trac.mathweb.org/OM3/ticket/126

Note that I have activated e-mail address verification in the Trac.  You will be asked to click on a link in a verification mail that the Trac will send you.

If you are interested in looking into my thesis draft (the chapters on math collaboration on the web and on structures of math knowledge and how to represent them are complete, and the chapter on ontologies for representing math knowledge will be done around this weekend), please let me know, then I'll tell you where to find it.

Cheers,

Christoph

-- 
Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part.
Url : http://openmath.org/pipermail/om/attachments/20100820/2bc8bcfd/attachment.pgp