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.pdfSome 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
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
