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

Mon Sep 8 22:31:12 CEST 2008

#77: Completeness of the CDs
-----------------------------+----------------------------------------------
    Reporter:  jauecker      |           Owner:  kohlhase  
        Type:  proposal      |          Status:  new       
    Priority:  major         |       Milestone:  CD3 Draft1
   Component:  OM3 Standard  |         Version:            
    Keywords:                |   Include_gantt:  0         
Dependencies:                |      Due_assign:  YYYY/MM/DD
   Due_close:  YYYY/MM/DD    |  
-----------------------------+----------------------------------------------
 '''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

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