[Trac] [OpenMath] #64: CD s_dist1

[OpenMath]

#64: CD s_dist1
------------------------------+---------------------------------------------
     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):

 '''David:'''


 ><mean.dist/>
 >
 >This is a mean for 'continous ditributions' not 'discrete distibitions'
 (in K-12 terminology).
 >
 >It is not 'a funtion that describes the dist', but rather 'the density
 funtion of the dist' that must be integrated (for 'continuous real
 dists').

 All true, but probably just indicates we should say less, cf mathml2
 where we said (in total)

 mean is the operator element representing a mean  or average.

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