ISSUE-5: Approving bodies for CDs?
Approving bodies for CDs?
- State:
- OPEN
- Product:
- All
- Raised by:
- Michael Kohlhase
- Opened on:
- 2007-01-28
- Description:
- OpenMath2 standard only allows official status for CDs approved by the OM
Society. This seems overly proprietary. The MathML CDs should also be official.
Change in OpenMath 3?
- Related Actions Items:
- No related actions
- Related emails:
- ISSUE-5: Approving bodies for CDs? (from dean+cgi@w3.org on 2007-01-28)
Related notes:
JSD: I think that 1) our dictionary needs to be official and well defined,
and 2) we need to show how to map it into OpenMath.
It would be really nice if the openmath dictionary mechanism would be rich
enough, but I don\'t think we should compromize on the information in the
dictionary to to that route. Ideally, the OpenMath dictionary mechanism would
be rich enough but I suspect there is MathMl syntactic structure (and
signatures) that may not be supported.
JSD: I think that 1) our dictionary needs to be official and well defined,
and 2) we need to show how to map it into OpenMath.
It would be really nice if the openmath dictionary mechanism would be rich
enough, but I don\'t think we should compromize on the information in the
dictionary to to that route. Ideally, the OpenMath dictionary mechanism would
be rich enough but I suspect there is MathMl syntactic structure (and
signatures) that may not be supported.
Can we clarify our requirements to OpenMath and engineer some updates at that end?
13 Feb 2007, 00:00:00Display change log
