[Trac] [OpenMath] #27: symbols for basic sts types?

OpenMath trac at strawberry.eecs.jacobs-university.de
Tue Jan 29 01:17:14 CET 2008

#27: symbols for basic sts types?
     Reporter:  kohlhase    |          Owner:  jhd             
         Type:  proposal    |         Status:  assigned        
     Priority:  major       |      Milestone:  MathML3CD Draft1
    Component:  MathML CDs  |        Version:                  
   Resolution:              |       Keywords:                  
Include_gantt:  0           |   Dependencies:                  
   Due_assign:  YYYY/MM/DD  |      Due_close:  YYYY/MM/DD      
Comment (by jhd):

 Davenport2000 is the standard STS paper:
 http://staff.bath.ac.uk/masjhd/OpenMath/sts2.pdf (if there is a copy on
 OpenMath.org, Google doesn't find it).
 Davenportetal1991a is http://portal.acm.org/citation.cfm?id=120694.120699

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

More information about the Trac mailing list