Hi Bruce,

  let me comment on that separately:

2010-07-18 03:09 Bruce Miller <[email protected]>:
> Incidentally, it was always the intent to develop
> (or support the development of) DLMF CD's,
> 
> Perhaps, ultimately there should end up urls of the form
> http://dlmf.nist.gov/#sin, but what they actually
> signify is another potential area of discussion.

I'm not sure whether DLMF CDs would be helpful.  For those functions that are
in DLMF but not in the openmath.org CDs certainly yes, but how about those
functions that are already in the openmath.org CDs?  It would certainly be
helpful if DLMF introduced URIs for those functions, so that we could properly
refer to functions instead of equations.  But let me create a quick list of
pros and cons of openmath.org CDs vs. DLMF CDs defining the same functions:

pro openmath.org:
* widely accepted (e.g. by CAS software)
* official status by MathML (consider the MathML formulæ in DLMF – would you
  rather annotate them with Content MathML using the built-in MathML =
  OpenMath symbols, or would you rather use <csymbol cd="dlmf">...</csymbol>?)

pro DLMF:
* better definitions
* or, in any case, more reasonable FMPs and Examples
* authoritative in that even the openmath.org definitions are derived from A&S
  = DLMF

So in the end the solution might be both openmath.org and DLMF having CDs for
the same, pointing to each other by the mechanisms we're discussing here.

Cheers,

Christoph

-- 
Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701

Attachment: signature.asc
Description: This is a digitally signed message part.

_______________________________________________
Om mailing list
[email protected]
http://openmath.org/mailman/listinfo/om

Reply via email to