60、数学服务语义匹配与证明理论方法

数学服务语义匹配与证明理论方法

1. 数学服务语义匹配

1.1 OpenMath 排序算法

OpenMath 排序算法用于对不同的 OpenMath 对象进行排序，其规则如下：

Algorithm 1. OpenMath Ordering
if o1 and o2 have different element tags then
    OMI < OMF < OMSTR < OMB < OMS < OMA < OMBIND < OMV
else if if o1 and o2 are OMI elements then
    order on their content (an integer)
else if o1 and o2 are OMF elements then
    order on the numerical value of the dec or hex attribute3
else if o1 and o2 are OMSTR elements then
    order lexicographically on their content (a string)
else if o1 and o2 are OMB elements then
    order on the base64 (defined in reference [10]) content of the OMB elements
else if o1 and o2 are OMS elements then
    order lexicographically on the value of the cd attribut