[Om] Interesting review of OpenMath

[Christoph LANGE]

Dear OpenMath community,

in the context of the FMathL project 
(http://www.mat.univie.ac.at/~neum/FMathL.html) – which some of you may 
remember from a talk at CICM 2009 – OpenMath and Content MathML have 
been reviewed for their utility w.r.t. the FMathL goals:

http://www.mat.univie.ac.at/~neum/FMathL/openmath-limitations.pdf
http://www.mat.univie.ac.at/~neum/FMathL/content-mathml-limitations.pdf

Some of the comments are IMHO inappropriate; for example they criticize 
the language and CDs of OM/CMML for not being close enough to 
mathematical paper notation and not concise enough, whereas the main 
objective for OM/CMML is machine-comprehensibility, and authoring should 
hopefully be supported by software.  Other comments could, however, be 
valuable.

In a nutshell, as far as I understand it, the FMathL vision is so big 
that no existing language is adequate to it.  FMathL is envisioned as a 
universal mathematics language both comprehensible to humans (targeting 
working mathematicians) and machines.

Cheers,

Christoph

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 262 bytes
Desc: OpenPGP digital signature
Url : http://openmath.org/pipermail/om/attachments/20101127/ea386a08/attachment.pgp