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
signature.asc
Description: This is a digitally signed message part.
_______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
