[Trac] [OpenMath] #50: CD calculus1

[OpenMath]

#50: CD calculus1
-----------------------------+----------------------------------------------
    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:'''


 There is, perhaps, the impression given here that a function must be
 represented in terms of bound variables (equivalently, a lambda
 expression).
 In practice, expressions such as 'D\,sin' and 'D_x\,F' are quite
 common in K-12 (at least in Europe).

 It is not clear whether the functions here are 'scalar valued'.

 ---------------

 Any chance of mentioning the anti-derivative?

 ---------------

 I think that this:

  a list of integers which index the variables of the function

 should be this:

  a list of natural numbers indexed by the variables of the function

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