[Om] Interesting review of OpenMath
Manfred Riem
mriem at manorrock.org
Sat Nov 27 18:53:32 CET 2010
One question comes to my mind after reading this. Did they
contact anyone about OpenMath / Content MathML?
I only see conclusions based on very narrow observations.
Regards,
Manfred
From: om-bounces at openmath.org [mailto:om-bounces at openmath.org] On Behalf Of
Christoph LANGE
Sent: Saturday, November 27, 2010 9:41 AM
To: OpenMath
Subject: [Om] Interesting review of OpenMath
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
_____
No virus found in this message.
Checked by AVG - www.avg.com
Version: 10.0.1170 / Virus Database: 426/3283 - Release Date: 11/27/10
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://openmath.org/pipermail/om/attachments/20101127/bdbf0f4a/attachment.htm
More information about the Om
mailing list