[Trac] [OpenMath] #52: CD linalg2

OpenMath trac at strawberry.eecs.jacobs-university.de
Sat Sep 13 02:58:14 CEST 2008


#52: CD linalg2
------------------------------+---------------------------------------------
     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 clange):

 @Jakob, here are my ideas about copying the discussion to the
 [http://wiki.openmath.org wiki] – Thanks!  (''Additional comments that
 cannot easily be put into practice are in italics as a to-do for my own
 modelling of the
 [http://kwarc.info/projects/swim/pubs/lwa08-argumentation.pdf
 argumentation ontology]; you can ignore them for copying.'')

 Great, what should I say about this?  Please file it as an Issue with the
 CD.

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


More information about the Trac mailing list