[Om3] target K14 for reading content-math spec any realistic?

Paul Libbrecht paul at activemath.org
Tue Sep 9 19:04:13 CEST 2008


Le 09-sept.-08 à 18:08, Michael Kohlhase a écrit :
>> Formal properties are subject of debate here I think. Thus far  
>> they're
>> pushed to the appendix in MathML-3 spec but kept core in OpenMath3.
> This could also be the problem of the whole thing. You (quite  
> rightly I
> think base your discussoins on FMPs (or equivalently <properties> from
> MathML). But these are non-normative in the spec and not part of the
> description.

Lack of such may mean non interoperability... but... who knows...  
let's give it try.

> So in this light, the descriptions in the MathML3 spec will
> only give an overview over the symbols provided by MathML3 and  
> relegate
> additional questions to the CDs.[...]
> I think that we should see this as an opportunity to take advantage  
> of.
> The <Description> elements should be self-contained and understandable
> for K-14 literates. The rest of the CDs will give more meaning, if the
> CD author can be bothered to write it down. As such, the
> interoperability question discussed below are at the FMP level (i.e.  
> in
> the rest of the CD) and in particular not in Chapter 4 of the  
> MathML3 spec.

So you believe there is a possibility to write the descriptions that  
will sip into chapter 4 readable by a "K14-literate"?
Can you elaborate here, does it mean a starting student at a  
university in Europe or elsewhere?
As per my first mail in this thread, you can see I doubt of that.

"a minimal wording for interoperability between expected processors  
that can be read by normal engineers with some time to read extra  
references"
is the best I can suggest as a description of the descriptions... it  
is not "k14-readable' to my taste!

paul
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2203 bytes
Desc: not available
Url : http://openmath.org/pipermail/om3/attachments/20080909/ac1d6c1d/attachment.bin 


More information about the Om3 mailing list