OpenMath Objectives

At the Second OpenMath Workshop it was decided that a small group should work out a proposal on OpenMath Objectives.

Version 0.6.0 of that paper was submitted to the larger committee charged with working out a first draft of the OpenMath standard-to-be, on 7-Oct-1994. It is available in PostScript, as a LaTeX source (LaTeX file and PostScript figures native.eps and tree.eps), and as browsable hypertext.

Version 0.6.1 (13-Nov-1994) is also available as PostScript, as a LaTeX source file (it requires the PostScript figures for version0.6.0 also), and as browsable hypertext.

Version 0.6.4 (14-Jan-1995) is available as PostScript, as compressed PostScript, as a LaTeX source file (it requires the PostScript figures native.eps and tree.eps), and as browsable hypertext.

Version 0.8.1 (28-Feb-1995) is available as PostScript, as compressed PostScript, as a LaTeX source file (it requires the PostScript figure sin.eps).

Version 0.8.3 (09-Mar-1995) is available as PostScript, as compressed PostScript, as a LaTeX source file (it requires the PostScript figure sin083.eps).

Version 0.8.5 (30-Mar-1995) has been submitted to the Journal of Symbolic Computation. It is available as browsable hypertext, as PostScript, as compressed (gzip'ed) PostScript, as a LaTeX source file (it requires the PostScript figure sinjsc.eps and the JSC LaTeX style file).

This proposal is being discussed on a small mailing list. The archive of the discussion that went on on that mailing list is available as Hypertext (automatically kept up-to-date by the list server) or by sending the E-mail message index to openmath-obj-request@can.nl.