[Trac] [OpenMath] #77: Completeness of the CDs

[OpenMath]

#77: Completeness of the CDs
------------------------------+---------------------------------------------
     Reporter:  jauecker      |          Owner:  kohlhase  
         Type:  proposal      |         Status:  new       
     Priority:  major         |      Milestone:  CD3 Draft1
    Component:  OM3 Standard  |        Version:            
   Resolution:                |       Keywords:            
Include_gantt:  0             |   Dependencies:            
   Due_assign:  YYYY/MM/DD    |      Due_close:  YYYY/MM/DD
------------------------------+---------------------------------------------
Old description:

> '''Chris:'''
>

> Also, I have not yet thought systematically about the 'completeness'
> problem (and only a little about 'consistency':-).  My feeling is that
> there is a lot of K-12 notation that is missing, presumably because it
> has not been needed commercially and is not needed when using
> 'classical mathematical software applications'.
>

> '''Michael:'''
>

> I would really be interested in examples or a full list of these

New description:

 '''Chris:'''


 Also, I have not yet thought systematically about the 'completeness'
 problem (and only a little about 'consistency':-).  My feeling is that
 there is a lot of K-12 notation that is missing, presumably because it
 has not been needed commercially and is not needed when using
 'classical mathematical software applications'. This latter
 restriction must be removed as a lot of modern systems are rapidly
 coming into use now, eg GeoGebra and friends.  As Neil will attest,
 such new stuff is also making its presence felt commercially.

Comment (by jauecker):

 '''Michael:'''


 I would really be interested in examples or a full list of these

-- 
Ticket URL: <https://trac.kwarc.info/OM3/ticket/77#comment:1>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.