[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
------------------------------+---------------------------------------------
Comment (by jhd):

 Replying to [ticket:77 jauecker]:
 > 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.
 I think this overstates the case, but I admit completely to the geometry
 problem. The other area I can think of is units, and I need to make these
 part of 'official'.

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