[Om] Bibliography; JEM homepage; CD notation format [Re: OpenMath bibliography]

[Lars Hellström]

Christoph LANGE skrev 2013-05-27 19.04:
> Hi Lars (@Paul, @Olga: some questions for you inline),
>
> 2013-05-27 17:58 Lars Hellström:
>> Is there a reasonably up-to-date OpenMath bibliography somewhere (that I
>> just can't seem to find at the moment)?
>
> I am not aware of an official one,

There are plenty of research topics where the most comprehensive 
bibliography is unofficially maintained by a member of the community, so 
that's hardly an unusual state of the matter.

Although admittedly this "member of the community" is often one Nelson Beebe 
:-), who doesn't seem to hang around here. But he can't be everywhere.

> but the bibliography of Michael
> Kohlhase's research group (to which I am also still contributing) at
> https://svn.kwarc.info/repos/kwarc/doc/bibs/kwarc.bib (best to check out

Thanks for the link!

> with Subversion and update occasionally) is reasonably complete at least
> w.r.t. the MKM side of OpenMath.
>>
>> One would think that
>>
>>    http://www.openmath.org/documents/bibliography.html
>>
>> should be such a thing, but it only has entries from 1996--2000. :-(
>
> I doubt anyone would volunteer to keep this up to date, or to set up a
> BibTeX to HTML conversion at openmath.org, even though such conversions
> are working elsewhere in theory and in practice.

Exposure-wise, just a semiannually updated PDF with all entries from 
kwarc.bib would be a huge improvement.

> Therefore let me suggest that, to this page, we _manually_ add links to
> kwarc.bib and possibly other partial community-maintained OpenMath
> bibliographies.  Makes sense?

Yes!

>> The items I'm looking for right now are:
>>
>> 1. Davenport&  Kohlhase's "Quantifiers and Big Operators in OpenMath"
>> from (I believe) OM2009. I've gotten the PDF from kwarc.info alright,
>> but where was it published? (I have one source referencing it as
>> unpublished.)
>
> DavKoh:qio09 in kwarc.bib.  OK, I cheated a bit, I fixed the title just
> seconds ago ;-)
>
>> 2. Libbrecht's paper from OM2007 on "Content Dictionary Notations",
>
> Just added this as Libbrecht:CDNotations07 (was easy as the OM 2007
> workshop already existed).
>
>> or
>> whatever is the main reference for the .ntn file format (and associated
>> things).
>
> Note that there is no such thing as "_the_ .ntn" file format.

Ah! That explains a couple of things...

> There is one by Paul and others (developed for ActiveMath), for which
> AFAIK the best reference is ManLib:apo05 (MKM 2005) in kwarc.bib.  The
> OM 2007 talk (actually I wonder whether there is a _paper_, as the
> homepage only links to "abstract and slides") seems to report on some
> more "recent" experiences with some _aspects_ of this format.  (@Paul,
> you may want to correct my comment.)
>
> There is a competing one by Michael and others, for which the best
> reference is KMR:NoLMD08 (CICM 2008) in kwarc.bib.

...such as how fleeting the references I've come across have been.

> Both parties called their files *.ntn and tried to push their format (or
> rather a merger of both – not sure) for MathML 3 but didn't succeed, as
> others (mainly David Carlisle IIRC, who is also on this list) argued
> that XSLT can do the job well enough.

Hmm... The job of doing the transformation to presentation form: yes, I 
suppose so. The job of recording what notation to use for various 
mathematical symbols: quite a different matter.

So in practice it is files such as
   http://www.openmath.org/OpenMath3/xsl/cd/set1.xsl   [*]
which are used to assign notations to OM symbols? Is that documented 
anywhere? (One would think CD contibutors could benefit from knowing.)

[*] Except that /that file/ is in a probably obsolete hierarchy, and 
therefore is likely a possibly modified copy of an old version of the proper 
file, which I haven't been able to guess an URL for.

> (Actually Paul's approach is
> implemented based on XSLT.)  The last MathML 3 working draft that
> includes this specification (in section 8.6) is w3c:WD-MathML3-20080409
> in kwarc.bib.
>
>> Here, several links lead into jem-thematic.net, and are thus
>> nowadays broken.
>
> @Olga: The JEM homepage was archived from Drupal into static HTML, but
> that shouldn't have done harm to the URLs.  However it turns out that
> links such as http://jem-thematic.net/node/167 no longer work but
> actually have to be accessed as http://jem-thematic.net/node/167/

(Subtle! I'll have to remember that.)

> (leading to .../index.html).  The best solution would be to improve the
> redirections at jem-thematic.net; a workaround for OpenMath would be to
> fix any such links on openmath.org.  @Paul, would you (being one of the
> 2007 editors) mind doing it?
>
> Hope that helps,

Quite a lot. Thanks!

Lars Hellström