[Trac] [OpenMath] #44: CD linalg1

[OpenMath]

#44: CD linalg1
-----------------------------+----------------------------------------------
    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:'''


 This shows up all the usual 'total confusion' found in all teaching of
 lin alg (including mine) about vectors and matrices and their
 relationship to the underlying mathematical structures.  It is
 probably not our job to sort it out but it would be nice if someone
 can teach it to computers accurately ... one day!

 The first line illustrates this superbly:

 `Operations on Matrices (independent of the matrix representation).'

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