W3C home > Mailing lists > Public > www-math@w3.org > December 2001

[Announce] OMDoc (Open Mathematical Documents) Version 1.1

From: Michael Kohlhase <kohlhase+@cs.cmu.edu>
Date: Sat, 29 Dec 2001 17:27:27 -0500
Message-Id: <200112292230.RAA14910@tux.w3.org>
To: omdoc@mathweb.org, fg121@sunjessen46.informatik.tu-muenchen.de, theorem-provers@ai.mit.edu, types@cs.indiana.edu, isabelle-users@cl.cam.ac.uk, info-hol@jaguar.cs.byu.edu, calculemus-ig@mathweb.org, ftp@logic.at, om-announce@openmath.org, rewriting@ens-lyon.fr, qed@mcs.anl.gov, www-math@w3.org, aisb@cogs.sussex.ac.uk, alp@doc.ic.ac.uk, compulog-deduction@cs.bham.ac.uk, dreamers@dai.ed.ac.uk, lprolog@central.cis.upenn.edu, types@cis.upenn.edu, types@dcs.glasgow.ac.uk, vdm-forum@mailbase.ac.uk, vki-list@dfki.de, wollic@di.ufpe.br, zforum@prg.ox.ac.uk, cl-advertisement-adresses@pikas.inf.tu-dresden.de, kgs@logic.tuwien.ac.at, kr-postings@kr.org, kr94@mail2.ai.univie.ac.at, pvs@csl.sri.com
         [Apologies, if you receive this more than once]

      |                                                    |
      |       OMDoc: Open Mathematical Documents!          |
      |          http:/www.mathweb.org/omdoc               |
      |                                                    |
      |                                                    |
      |   OMDoc 1.1 has been released December 29. 2001    |
      |                                                    |

OMDoc is a content-based markup format for manipulating, archiving, and
communicating mathematical knowledge on the Internet. It is used as the 
basis for mathematical knowledge bases, computer-supported learning 
systems, and electronic publishing of mathematical text.

OMDoc is an extension of the OpenMath standard [1] to the document level,
it supplies structured content-markup for mathematical statements (axioms, 
theorems, proofs, definitions, texts (mixing formal content with 
mathematical text). Furthermore it supplies syntax for a notion of a 
structured theory hierarchy known from algebraic specification formalisms 
like CASL [2]. 

Since OMDoc builds on OpenMath and XML, OMDoc can be directly converted
into MathML [3], which can be rendered in Mozilla and IE (via plug-ins).

OMDoc 1.1 is a maintenance release that stabilizes the experiences with 
OMDoc 1.0.  The changes are mainly non-disruptive in often-used parts 
of OMDoc, e.g. adding  optional attributes and children. The main new 
features are the addition of a new referencing and presentation system 
for OMDoc elements and a completely re-written specification document.

To find out more about OMDoc, join the OMDoc mailing list [4] or view [5].

[1] http://www.openmath.org   
[2] http://www.brics.dk/Projects/CoFI
[3] http://www.w3c.org/
[4] omdoc@mathweb.org; archived at http://www.mathweb.org/~mailists/omdoc
[5] http:/www.mathweb.org/omdoc

   Dr. Michael Kohlhase,                School of Computer Science
   tel/fax: +1 412 268 5749/6298        Carnegie Mellon University
   net: <kohlhase+@cs.cmu.edu>          5000 Forbes Avenue, 
   http://www.cs.cmu.edu/~kohlhase      Pittsburgh, Pa 15213-3891, USA.
Received on Saturday, 29 December 2001 17:30:38 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:27:31 UTC