[Trac] [OpenMath] #61: CD list1

OpenMath trac at strawberry.eecs.jacobs-university.de
Fri Sep 12 16:09:54 CEST 2008


#61: CD list1
------------------------------+---------------------------------------------
     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 jauecker):

 '''Chris:'''


 >well ordered set is, it's just spelled "list" here:-)

 Yes, my spell-checker auto-corrects that one by now ...

 But this nicely highlights that this does not currently seem to me
 that we are 'documenting/describing' simply (parts of) the 'content' of
 K-12 (somewhat classical) maths.  And if it is not that, what are we
 describing?

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


More information about the Trac mailing list