[Trac] [OpenMath] #82: Book references

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


#82: Book references
-----------------------------+----------------------------------------------
    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:'''


 I do not see any place for references to books in these
 descriptions. Apart from there nuisance vale they raise the question
 about whether the underlying assumptions of all the different texts
 are the same as ours.

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


More information about the Trac mailing list