Returned 56 matches (100 formulae, 227 docs)
    Lookup 347.783 ms, Re-ranking 81.506 ms
    Found 8756329 tuple postings, 6517120 formulae, 3457819 documents
[ formulas ] [ documents ] [ documents-by-formula ]

Doc 1
0.5217
-1.0000
5.0000
1.0435
testing/NTCIR/xhtml5/3/cs0310064/cs0310064_1_12.xhtml
W(2,6)>160
W(2,8)>896

Doc 2
0.5217
-1.0000
5.0000
0.5217
testing/NTCIR/xhtml5/3/cs0310064/cs0310064_1_43.xhtml
W(2,8)>1295

Doc 3
0.5217
-1.0000
5.0000
0.5217
testing/NTCIR/xhtml5/3/cs0310064/cs0310064_1_40.xhtml
W(2,8)>1295

Doc 4
0.4615
-1.0000
4.0000
0.4615
testing/NTCIR/xhtml5/5/0705.3233/0705.3233_1_21.xhtml
gcd(2,k)=1

Doc 5
0.4615
-12.0000
4.0000
0.4615
testing/NTCIR/xhtml5/8/1112.4248/1112.4248_1_91.xhtml
λ(2,k)=3-2(rk+1)C/k

Doc 6
0.4255
0.0000
5.0000
0.4255
testing/NTCIR/xhtml5/8/1208.4268/1208.4268_1_2.xhtml
W(2,k)

Doc 7
0.4255
0.0000
5.0000
0.4255
testing/NTCIR/xhtml5/8/1210.4408/1210.4408_1_32.xhtml
W(2,k)

Doc 8
0.4255
0.0000
4.0000
0.8511
testing/NTCIR/xhtml5/9/1302.5618/1302.5618_1_7.xhtml
GL(2,k)
PGL(2,k)

Doc 9
0.4255
0.0000
4.0000
0.7543
testing/NTCIR/xhtml5/7/1012.4131/1012.4131_1_18.xhtml
T(2,k)
(2,k)

Doc 10
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/9/1301.3259/1301.3259_1_4.xhtml
GL(2,k)

Doc 11
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/9/1302.5618/1302.5618_1_10.xhtml
SL(2,k)

Doc 12
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/9/1302.5618/1302.5618_1_11.xhtml
SL(2,k)

Doc 13
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/1/1401.5868/1401.5868_1_5.xhtml
(2,k)

Doc 14
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/5/0809.3035/0809.3035_1_141.xhtml
𝐕(2,k)

Doc 15
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/1/0811.0797/0811.0797_1_81.xhtml
𝒮(2,k)

Doc 16
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/5/0709.0101/0709.0101_1_28.xhtml
SL(2,k)

Doc 17
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/7/1007.1656/1007.1656_1_204.xhtml
T(2,k)

Doc 18
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/1/0811.0797/0811.0797_1_10.xhtml
𝒮(2,k)

Doc 19
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/8/1204.4104/1204.4104_1_61.xhtml
B(2,k)

Doc 20
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/5/0709.0101/0709.0101_1_17.xhtml
SL(2,k)

Doc 21
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/5/0709.0101/0709.0101_1_9.xhtml
SL(2,k)

Doc 22
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/9/1301.0874/1301.0874_1_83.xhtml
J(2,k)

Doc 23
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/1/0811.0797/0811.0797_1_82.xhtml
𝒮(2,k)

Doc 24
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/1/0811.0797/0811.0797_1_5.xhtml
𝒮(2,k)

Doc 25
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/5/0709.0284/0709.0284_1_110.xhtml
PGL(2,k)

Doc 26
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/6/1002.2724/1002.2724_1_49.xhtml
B(2,k)

Doc 27
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/9/1302.5618/1302.5618_1_6.xhtml
SL(2,k)

Doc 28
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/9/1301.0874/1301.0874_1_12.xhtml
J(2,k)

Doc 29
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/7/1007.1656/1007.1656_1_16.xhtml
T(2,k)

Doc 30
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/6/0903.4533/0903.4533_1_47.xhtml
A(2,k)

Doc 31
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/7/1007.1656/1007.1656_1_189.xhtml
T(2,k)

Doc 32
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/7/1007.1656/1007.1656_1_378.xhtml
T(2,k)

Doc 33
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/1/1201.1202/1201.1202_1_29.xhtml
S(2,k)

Doc 34
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/7/1007.1656/1007.1656_1_205.xhtml
T(2,k)

Doc 35
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/1/1201.1202/1201.1202_1_21.xhtml
S(2,k)

Doc 36
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/7/1007.1656/1007.1656_1_210.xhtml
T(2,k)

Doc 37
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/7/1007.1656/1007.1656_1_221.xhtml
T(2,k)

Doc 38
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/1/1201.1202/1201.1202_1_27.xhtml
S(2,k)

Doc 39
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/1/1201.1202/1201.1202_1_23.xhtml
S(2,k)

Doc 40
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/1/1201.1202/1201.1202_1_30.xhtml
S(2,k)

Doc 41
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/1/1201.1202/1201.1202_1_26.xhtml
S(2,k)

Doc 42
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/1/1201.1202/1201.1202_1_22.xhtml
S(2,k)

Doc 43
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/9/1301.3259/1301.3259_1_94.xhtml
GL(2,k)

Doc 44
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/1/1201.1202/1201.1202_1_17.xhtml
S(2,k)

Doc 45
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/1/1201.1202/1201.1202_1_8.xhtml
S(2,k)

Doc 46
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/7/1007.1656/1007.1656_1_376.xhtml
T(2,k)

Doc 47
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/1/0811.0797/0811.0797_1_65.xhtml
𝒮(2,k)

Doc 48
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/7/1007.1656/1007.1656_1_219.xhtml
T(2,k)

Doc 49
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/7/1007.3708/1007.3708_1_38.xhtml
g(2,k)

Doc 50
0.4255
0.0000
4.0000
0.4255
testing/NTCIR/xhtml5/7/1007.3708/1007.3708_1_29.xhtml
g(2,k)

Doc 51
0.4255
-1.0000
4.0000
2.1277
testing/NTCIR/xhtml5/4/math0601413/math0601413_1_122.xhtml
𝔤𝔩(2,k)
𝔰𝔩(2,k)
P𝔰𝔩(2,k)
Q𝔰𝔩(2,k)
χ:𝔰𝔩(2,k)k¯

Doc 52
0.4255
-1.0000
4.0000
1.7021
testing/NTCIR/xhtml5/4/math0601413/math0601413_1_49.xhtml
𝔰𝔩(2,k)
x𝔰𝔩(2,k)
χ:𝔰𝔩(2,k)k
χ:𝔰𝔩(2,k)k¯

Doc 53
0.4255
-1.0000
4.0000
1.2766
testing/NTCIR/xhtml5/4/math0601413/math0601413_1_75.xhtml
𝔰𝔩(2,k)
P𝔰𝔩(2,k)
L/ku𝔤𝔩(2,k)
Doc 54
0.4255
-1.0000
4.0000
0.8511
testing/NTCIR/xhtml5/7/1006.5236/1006.5236_1_6.xhtml
GL(2,k)
SL(2,k),

Doc 55
0.4255
-1.0000
4.0000
0.8511
testing/NTCIR/xhtml5/6/1001.0129/1001.0129_1_251.xhtml
GL(2,kF)
SL(2,kF)

Doc 56
0.4255
-1.0000
4.0000
0.8511
testing/NTCIR/xhtml5/7/1004.2603/1004.2603_1_18.xhtml
GL(2,k)
PGL(2,k)

Doc 57
0.4255
-1.0000
4.0000
0.8511
testing/NTCIR/xhtml5/8/1109.2560/1109.2560_1_87.xhtml
F1(2,k)
F2(2,k)

Doc 58
0.4255
-1.0000
4.0000
0.8511
testing/NTCIR/xhtml5/4/math0601413/math0601413_1_59.xhtml
𝔰𝔩(2,k)
Aut𝔰𝔩(2,k)

Doc 59
0.4255
-1.0000
4.0000
0.8511
testing/NTCIR/xhtml5/6/1001.0129/1001.0129_1_250.xhtml
GL(2,kF)
SL(2,kF)

Doc 60
0.4255
-1.0000
4.0000
0.7543
testing/NTCIR/xhtml5/5/math0703594/math0703594_1_87.xhtml
VT(2,k)
(2,k)

Doc 61
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/9/1212.6799/1212.6799_1_111.xhtml
GL(2,k)

Doc 62
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/5/math0703567/math0703567_1_172.xhtml
GL(2,k)

Doc 63
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/5/0811.3922/0811.3922_1_68.xhtml
U(2,kE)

Doc 64
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/7/1006.5236/1006.5236_1_8.xhtml
GL(2,k)

Doc 65
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/6/1001.0129/1001.0129_1_13.xhtml
SL(2,kF)

Doc 66
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/3/math0306128/math0306128_1_123.xhtml
g1(2,k)

Doc 67
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/5/0811.3922/0811.3922_1_69.xhtml
U(2,kE)

Doc 68
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/8/1210.1405/1210.1405_1_39.xhtml
SL(2,k)

Doc 69
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/5/math0703594/math0703594_1_88.xhtml
VT(2,k)

Doc 70
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/5/math0703594/math0703594_1_89.xhtml
VT(2,k)

Doc 71
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/4/math0601413/math0601413_1_53.xhtml
𝔰𝔩(2,k)

Doc 72
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/5/math0703594/math0703594_1_90.xhtml
VT(2,k)

Doc 73
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/3/math0302229/math0302229_1_96.xhtml
sl(2,k)

Doc 74
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/11/math9908031/math9908031_1_279.xhtml
𝔰𝔬(2,k)

Doc 75
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/3/hep-th0401205/hep-th0401205_1_36.xhtml
SO(2,k)

Doc 76
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/5/math0703567/math0703567_1_174.xhtml
GL(2,k)

Doc 77
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/7/1101.3467/1101.3467_1_83.xhtml
GL(2,kv)

Doc 78
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/9/1301.5667/1301.5667_1_29.xhtml
GL(2,k)

Doc 79
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/3/math0302229/math0302229_1_91.xhtml
sl(2,k)

Doc 80
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/4/math0601413/math0601413_1_52.xhtml
𝔰𝔩(2,k)

Doc 81
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/4/math0601413/math0601413_1_56.xhtml
𝔰𝔩(2,k)

Doc 82
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/4/math0601413/math0601413_1_106.xhtml
𝔰𝔩(2,k)

Doc 83
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/4/math0601413/math0601413_1_50.xhtml
𝔰𝔩(2,k)

Doc 84
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/5/math0703567/math0703567_1_173.xhtml
GL(2,k)

Doc 85
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/4/math0601413/math0601413_1_123.xhtml
𝔰𝔩(2,k)

Doc 86
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/4/math0601413/math0601413_1_62.xhtml
𝔰𝔩(2,k)

Doc 87
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/6/0907.3412/0907.3412_1_45.xhtml
S(2n,k)

Doc 88
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/10/math9904152/math9904152_1_82.xhtml
SL(2,k)

Doc 89
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/4/math0702620/math0702620_1_35.xhtml
{m(2,k)}

Doc 90
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/5/0806.4178/0806.4178_1_31.xhtml
sl(2,k)

Doc 91
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/7/1007.1656/1007.1656_1_375.xhtml
T(2,k),

Doc 92
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/7/1006.5236/1006.5236_1_11.xhtml
SL(2,k)

Doc 93
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/4/math0601413/math0601413_1_55.xhtml
𝔰𝔩(2,k)

Doc 94
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/10/math9904152/math9904152_1_83.xhtml
SL(2,k)

Doc 95
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/10/math9904152/math9904152_1_79.xhtml
SL(2,k)

Doc 96
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/5/math0703567/math0703567_1_300.xhtml
SL(2,k)

Doc 97
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/3/math0306128/math0306128_1_124.xhtml
g1(2,k)

Doc 98
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/9/1212.6799/1212.6799_1_97.xhtml
GL(2,k)

Doc 99
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/9/1212.6799/1212.6799_1_112.xhtml
GL(2,k)

Doc 100
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/10/math9904152/math9904152_1_75.xhtml
SL(2,k)

Doc 101
0.4255
-1.0000
3.0000
0.4255
testing/NTCIR/xhtml5/9/1401.3823/1401.3823_1_51.xhtml
DNR(2k,f)

Doc 102
0.4255
-1.0000
3.0000
0.4255
testing/NTCIR/xhtml5/9/1401.3823/1401.3823_1_50.xhtml
DNR(2k,f)

Doc 103
0.4255
-1.0000
3.0000
0.4255
testing/NTCIR/xhtml5/2/hep-th0210167/hep-th0210167_1_29.xhtml
M(2k,C)

Doc 104
0.4255
-2.0000
5.0000
0.4255
testing/NTCIR/xhtml5/7/1107.2888/1107.2888_1_4.xhtml
W=W(2,k)

Doc 105
0.4255
-2.0000
4.0000
0.8511
testing/NTCIR/xhtml5/4/math0601413/math0601413_1_119.xhtml
Aut𝔰𝔩(2,k)
P𝔰𝔩(2,k)

Doc 106
0.4255
-2.0000
4.0000
0.8511
testing/NTCIR/xhtml5/9/1307.0887/1307.0887_1_76.xhtml
B𝐺𝐿(2,k)
b𝑃𝐺𝐿(2,k)

Doc 107
0.4255
-2.0000
4.0000
0.8511
testing/NTCIR/xhtml5/9/1307.0887/1307.0887_1_106.xhtml
B𝐺𝐿(2,k)
b𝑃𝐺𝐿(2,k)

Doc 108
0.4255
-2.0000
4.0000
0.8511
testing/NTCIR/xhtml5/9/1307.0887/1307.0887_1_78.xhtml
B𝐺𝐿(2,k)
b𝑃𝐺𝐿(2,k)

Doc 109
0.4255
-2.0000
4.0000
0.8511
testing/NTCIR/xhtml5/4/math0601413/math0601413_1_58.xhtml
Aut𝔰𝔩(2,k)
χ:𝔰𝔩(2,k)k

Doc 110
0.4255
-2.0000
4.0000
0.4255
testing/NTCIR/xhtml5/9/1301.1153/1301.1153_1_134.xhtml
GGS(2,k)

Doc 111
0.4255
-2.0000
4.0000
0.4255
testing/NTCIR/xhtml5/9/1302.5618/1302.5618_1_88.xhtml
G=SL(2,k)

Doc 112
0.4255
-2.0000
4.0000
0.4255
testing/NTCIR/xhtml5/2/math0207245/math0207245_1_8.xhtml
PGL(2,k)

Doc 113
0.4255
-2.0000
4.0000
0.4255
testing/NTCIR/xhtml5/2/math0207245/math0207245_1_21.xhtml
PGL(2,k)

Doc 114
0.4255
-2.0000
4.0000
0.4255
testing/NTCIR/xhtml5/2/math0207245/math0207245_1_2.xhtml
PGL(2,k)

Doc 115
0.4255
-2.0000
4.0000
0.4255
testing/NTCIR/xhtml5/2/math0207245/math0207245_1_7.xhtml
PGL(2,k)

Doc 116
0.4255
-2.0000
4.0000
0.4255
testing/NTCIR/xhtml5/7/1004.2603/1004.2603_1_8.xhtml
PGL(2,k)

Doc 117
0.4255
-2.0000
4.0000
0.4255
testing/NTCIR/xhtml5/4/math0702620/math0702620_1_50.xhtml
{n(2,k)}k

Doc 118
0.4255
-2.0000
4.0000
0.4255
testing/NTCIR/xhtml5/9/1307.0887/1307.0887_1_75.xhtml
b𝑃𝐺𝐿(2,k)

Doc 119
0.4255
-2.0000
4.0000
0.4255
testing/NTCIR/xhtml5/4/math0601413/math0601413_1_29.xhtml
𝔰𝔩(2,k¯)

Doc 120
0.4255
-2.0000
4.0000
0.4255
testing/NTCIR/xhtml5/2/math0205314/math0205314_1_111.xhtml
PGL(2,k)

Doc 121
0.4255
-2.0000
4.0000
0.4255
testing/NTCIR/xhtml5/9/1301.1153/1301.1153_1_133.xhtml
GGS(2,k)

Doc 122
0.4255
-2.0000
4.0000
0.4255
testing/NTCIR/xhtml5/10/alg-geom9403007/alg-geom9403007_1_140.xhtml
G=G(2,k)

Doc 123
0.4255
-2.0000
4.0000
0.4255
testing/NTCIR/xhtml5/8/1207.1015/1207.1015_1_23.xhtml
G=𝖯𝖲𝖫(2,k)

Doc 124
0.4255
-2.0000
4.0000
0.4255
testing/NTCIR/xhtml5/8/1208.1131/1208.1131_1_25.xhtml
GL(2,k)

Doc 125
0.4255
-2.0000
4.0000
0.4255
testing/NTCIR/xhtml5/5/0811.4266/0811.4266_1_30.xhtml
(2n, k)>1

Doc 126
0.4255
-2.0000
4.0000
0.4255
testing/NTCIR/xhtml5/5/0805.2534/0805.2534_1_10.xhtml
GL(2,k)

Doc 127
0.4255
-3.0000
4.0000
0.4255
testing/NTCIR/xhtml5/6/0912.3538/0912.3538_1_45.xhtml
Nsl(2,k)

Doc 128
0.4255
-3.0000
4.0000
0.4255
testing/NTCIR/xhtml5/6/0912.3538/0912.3538_1_43.xhtml
Nsl(2,k)

Doc 129
0.4255
-3.0000
4.0000
0.4255
testing/NTCIR/xhtml5/4/math0601413/math0601413_1_109.xhtml
P𝔰𝔩(2,k)

Doc 130
0.4255
-3.0000
4.0000
0.4255
testing/NTCIR/xhtml5/4/math0601413/math0601413_1_70.xhtml
P𝔰𝔩(2,k)

Doc 131
0.4255
-3.0000
4.0000
0.4255
testing/NTCIR/xhtml5/4/math0601413/math0601413_1_68.xhtml
P𝔰𝔩(2,k)

Doc 132
0.4255
-3.0000
4.0000
0.4255
testing/NTCIR/xhtml5/5/math0703567/math0703567_1_310.xhtml
MSL(2,k)

Doc 133
0.4255
-5.0000
4.0000
1.0831
testing/NTCIR/xhtml5/2/math0102231/math0102231_1_53.xhtml
(2,k)×PSL(2,k)
(2,k)
(2,k)×
Doc 134
0.4255
-6.0000
4.0000
0.4255
testing/NTCIR/xhtml5/9/1303.4800/1303.4800_1_103.xhtml
G=PGL(2,k), k

Doc 135
0.4255
-7.0000
4.0000
0.4255
testing/NTCIR/xhtml5/7/1103.0077/1103.0077_1_115.xhtml
F(2,k)=i+1=2k

Doc 136
0.3614
-1.0000
4.0000
0.3614
testing/NTCIR/xhtml5/3/math0308062/math0308062_1_27.xhtml
(2,k)=1

Doc 137
0.3614
-1.0000
4.0000
0.3614
testing/NTCIR/xhtml5/3/math0308062/math0308062_1_203.xhtml
(2,k)=1

Doc 138
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/9/1307.0870/1307.0870_1_131.xhtml
(2,k)

Doc 139
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/9/1307.0870/1307.0870_1_103.xhtml
(2,k)

Doc 140
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/6/0906.1178/0906.1178_1_128.xhtml
(2,k)

Doc 141
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/9/1307.0870/1307.0870_1_153.xhtml
(2,k)

Doc 142
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/6/0906.1178/0906.1178_1_119.xhtml
(2,k)

Doc 143
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/6/0906.1178/0906.1178_1_117.xhtml
(2,k)

Doc 144
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/8/1205.0531/1205.0531_1_52.xhtml
(2,k)

Doc 145
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/4/math0606633/math0606633_1_308.xhtml
(2,k)

Doc 146
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/2/math0102231/math0102231_1_52.xhtml
(2,k)

Doc 147
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/9/1307.0870/1307.0870_1_120.xhtml
(2,k)

Doc 148
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/6/0910.1643/0910.1643_1_95.xhtml
(2,k)

Doc 149
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/2/math0102231/math0102231_1_47.xhtml
(2,k)

Doc 150
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/8/1210.7073/1210.7073_1_61.xhtml
(2,k)

Doc 151
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/8/1210.7073/1210.7073_1_88.xhtml
(2,k)

Doc 152
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/10/hep-th9411125/hep-th9411125_1_70.xhtml
(2,k)

Doc 153
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/3/hep-th0404116/hep-th0404116_1_94.xhtml
(2,k)

Doc 154
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/2/math0102231/math0102231_1_49.xhtml
(2,k)

Doc 155
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/1/math0703669/math0703669_1_12.xhtml
(2,k)

Doc 156
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/8/1210.7073/1210.7073_1_35.xhtml
(2,k)

Doc 157
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/1/math0703669/math0703669_1_11.xhtml
(2,k)

Doc 158
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/3/math0309150/math0309150_1_55.xhtml
(2,k)

Doc 159
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/10/q-alg9510026/q-alg9510026_1_134.xhtml
(2,k)

Doc 160
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/8/1210.7073/1210.7073_1_50.xhtml
(2,k)

Doc 161
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/10/hep-th9411125/hep-th9411125_1_95.xhtml
(2,k)

Doc 162
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/10/hep-th9408119/hep-th9408119_1_52.xhtml
(2,k)

Doc 163
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/1/0904.1757/0904.1757_1_11.xhtml
2k/k

Doc 164
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/8/1210.7073/1210.7073_1_125.xhtml
(2,k)

Doc 165
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/6/0910.1643/0910.1643_1_96.xhtml
(2,k)

Doc 166
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/6/0910.1643/0910.1643_1_107.xhtml
(2,k)

Doc 167
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/6/0910.1643/0910.1643_1_93.xhtml
(2,k)

Doc 168
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/6/0906.1178/0906.1178_1_121.xhtml
(2,k)

Doc 169
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/6/0906.1178/0906.1178_1_122.xhtml
(2,k)

Doc 170
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/3/math0308209/math0308209_1_142.xhtml
(2,k)

Doc 171
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/6/0910.1643/0910.1643_1_106.xhtml
(2,k)

Doc 172
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/9/1307.0870/1307.0870_1_145.xhtml
(2,k)

Doc 173
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/6/0910.1643/0910.1643_1_108.xhtml
(2,k)

Doc 174
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/6/0910.1643/0910.1643_1_124.xhtml
(2,k)

Doc 175
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/9/1307.0870/1307.0870_1_161.xhtml
(2,k)

Doc 176
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/9/1307.0870/1307.0870_1_117.xhtml
(2,k)

Doc 177
0.3288
0.0000
4.0000
0.3288
testing/NTCIR/xhtml5/6/0910.1643/0910.1643_1_112.xhtml
(2,k)

Doc 178
0.3288
-1.0000
4.0000
0.3288
testing/NTCIR/xhtml5/2/math0209275/math0209275_1_5.xhtml
SL(2,k)

Doc 179
0.3288
-1.0000
4.0000
0.3288
testing/NTCIR/xhtml5/9/1308.4022/1308.4022_1_74.xhtml
𝕐(2,k)

Doc 180
0.3288
-1.0000
4.0000
0.3288
testing/NTCIR/xhtml5/7/1104.1806/1104.1806_1_166.xhtml
S(2,k)

Doc 181
0.3288
-1.0000
4.0000
0.3288
testing/NTCIR/xhtml5/6/0903.0841/0903.0841_1_60.xhtml
B(2,k)

Doc 182
0.3288
-1.0000
4.0000
0.3288
testing/NTCIR/xhtml5/4/cs0701071/cs0701071_1_72.xhtml
(2k,k)

Doc 183
0.3288
-1.0000
4.0000
0.3288
testing/NTCIR/xhtml5/3/math0311226/math0311226_1_59.xhtml
2k/k2

Doc 184
0.3288
-1.0000
4.0000
0.3288
testing/NTCIR/xhtml5/9/1307.0051/1307.0051_1_73.xhtml
N(2,k)

Doc 185
0.3288
-1.0000
4.0000
0.3288
testing/NTCIR/xhtml5/9/1307.0051/1307.0051_1_74.xhtml
N(2,k)

Doc 186
0.3288
-1.0000
3.0000
0.3288
testing/NTCIR/xhtml5/6/0904.3116/0904.3116_1_76.xhtml
(2k,ε)

Doc 187
0.3288
-1.0000
3.0000
0.3288
testing/NTCIR/xhtml5/6/0904.3116/0904.3116_1_78.xhtml
(2k,ε)

Doc 188
0.3288
-1.0000
3.0000
0.3288
testing/NTCIR/xhtml5/6/0904.3116/0904.3116_1_54.xhtml
(2k,ε)

Doc 189
0.3288
-1.0000
3.0000
0.3288
testing/NTCIR/xhtml5/7/1008.0700/1008.0700_1_17.xhtml
(2k,m)

Doc 190
0.3288
-2.0000
4.0000
0.6575
testing/NTCIR/xhtml5/6/0904.3395/0904.3395_1_118.xhtml
O(2k/k)
αa(k)e2k/k

Doc 191
0.3288
-2.0000
4.0000
0.3288
testing/NTCIR/xhtml5/9/1312.2898/1312.2898_1_109.xhtml
GL(2,k𝔭)

Doc 192
0.3288
-2.0000
4.0000
0.3288
testing/NTCIR/xhtml5/9/1310.8179/1310.8179_1_13.xhtml
l=2k/k

Doc 193
0.3288
-2.0000
4.0000
0.3288
testing/NTCIR/xhtml5/3/math0412505/math0412505_1_31.xhtml
GL(2,kv)

Doc 194
0.3288
-3.0000
4.0000
0.3288
testing/NTCIR/xhtml5/8/1210.1705/1210.1705_1_64.xhtml
Nmax(2,k)

Doc 195
0.3288
-3.0000
4.0000
0.3288
testing/NTCIR/xhtml5/5/0810.2766/0810.2766_1_64.xhtml
δmax(2,k)

Doc 196
0.3288
-3.0000
4.0000
0.3288
testing/NTCIR/xhtml5/5/0810.2766/0810.2766_1_84.xhtml
δmax(2,k)

Doc 197
0.3288
-3.0000
4.0000
0.3288
testing/NTCIR/xhtml5/7/1005.3383/1005.3383_1_108.xhtml
r=max(2,k)

Doc 198
0.3288
-3.0000
4.0000
0.3288
testing/NTCIR/xhtml5/5/0810.2766/0810.2766_1_83.xhtml
δmax(2,k)

Doc 199
0.3288
-3.0000
4.0000
0.3288
testing/NTCIR/xhtml5/5/0810.2766/0810.2766_1_86.xhtml
δmax(2,k)

Doc 200
0.3288
-3.0000
4.0000
0.3288
testing/NTCIR/xhtml5/5/0810.2766/0810.2766_1_70.xhtml
δmax(2,k)

Doc 201
0.3288
-3.0000
4.0000
0.3288
testing/NTCIR/xhtml5/10/hep-th9402074/hep-th9402074_1_247.xhtml
k=(2,k2)

Doc 202
0.3288
-3.0000
4.0000
0.3288
testing/NTCIR/xhtml5/8/1210.1705/1210.1705_1_90.xhtml
Nmax(2,k)

Doc 203
0.3288
-3.0000
4.0000
0.3288
testing/NTCIR/xhtml5/10/hep-th9402074/hep-th9402074_1_246.xhtml
k=(2,k2)

Doc 204
0.3288
-3.0000
3.0000
0.3288
testing/NTCIR/xhtml5/6/1003.1064/1003.1064_1_24.xhtml
{2k,k3}

Doc 205
0.3288
-5.0000
3.0000
0.3288
testing/NTCIR/xhtml5/4/math0503173/math0503173_1_40.xhtml
H(2k,2t2k)

Doc 206
0.3288
-6.0000
4.0000
0.3288
testing/NTCIR/xhtml5/9/1307.0158/1307.0158_1_59.xhtml
-(2,k)(modk),

Doc 207
0.3288
-6.0000
4.0000
0.3288
testing/NTCIR/xhtml5/9/1307.0158/1307.0158_1_60.xhtml
-(2,k)(modk),

Doc 208
0.3288
-6.0000
4.0000
0.3288
testing/NTCIR/xhtml5/7/1006.0744/1006.0744_1_12.xhtml
f(k)=Θ(2k/k)

Doc 209
0.3288
-6.0000
4.0000
0.3288
testing/NTCIR/xhtml5/9/1307.0158/1307.0158_1_61.xhtml
-(2,k)(modk),

Doc 210
0.2778
-2.0000
5.0000
0.2778
testing/NTCIR/xhtml5/8/1208.4268/1208.4268_1_14.xhtml
W(r,k)>k

Doc 211
0.2308
-2.0000
3.0000
0.2308
testing/NTCIR/xhtml5/7/1004.0034/1004.0034_1_7.xhtml
(2k,8)

Doc 212
0.2308
-3.0000
3.0000
0.2308
testing/NTCIR/xhtml5/9/1301.1547/1301.1547_1_48.xhtml
(2k,2k)

Doc 213
0.2308
-3.0000
3.0000
0.2308
testing/NTCIR/xhtml5/9/1301.1547/1301.1547_1_61.xhtml
(2k,2k)

Doc 214
0.2308
-3.0000
3.0000
0.2308
testing/NTCIR/xhtml5/9/1301.1547/1301.1547_1_57.xhtml
(2k,2k)

Doc 215
0.2308
-3.0000
3.0000
0.2308
testing/NTCIR/xhtml5/9/1301.1547/1301.1547_1_49.xhtml
(2k,2k)

Doc 216
0.2308
-3.0000
3.0000
0.2308
testing/NTCIR/xhtml5/4/math0506627/math0506627_1_472.xhtml
(2k,2k)

Doc 217
0.2308
-3.0000
3.0000
0.2308
testing/NTCIR/xhtml5/9/1301.1547/1301.1547_1_71.xhtml
(2k,2k)

Doc 218
0.2308
-3.0000
3.0000
0.2308
testing/NTCIR/xhtml5/9/1301.1547/1301.1547_1_70.xhtml
(2k,2k)

Doc 219
0.2308
-3.0000
3.0000
0.2308
testing/NTCIR/xhtml5/9/1301.1547/1301.1547_1_66.xhtml
(2k,2k)

Doc 220
0.2308
-4.0000
3.0000
0.2308
testing/NTCIR/xhtml5/5/math0703028/math0703028_1_25.xhtml
(2k-2,k)

Doc 221
0.2308
-4.0000
3.0000
0.2308
testing/NTCIR/xhtml5/5/math0703028/math0703028_1_24.xhtml
(2k-2,k)

Doc 222
0.2308
-4.0000
3.0000
0.2308
testing/NTCIR/xhtml5/5/0807.2058/0807.2058_1_24.xhtml
(2k-2,k)

Doc 223
0.2308
-6.0000
3.0000
0.2308
testing/NTCIR/xhtml5/1/math0001027/math0001027_1_32.xhtml
(2k,1n-2k)

Doc 224
0.2308
-7.0000
3.0000
0.2308
testing/NTCIR/xhtml5/4/math0605210/math0605210_1_29.xhtml
Cmin(2j-k,2k)

Doc 225
0.2308
-10.0000
3.0000
0.2308
testing/NTCIR/xhtml5/3/math0407376/math0407376_1_59.xhtml
OkC=(2k,1n-2k)

Doc 226
0.1290
-1.0000
2.0000
0.1290
testing/NTCIR/xhtml5/2/math0012168/math0012168_1_96.xhtml
2k,

Doc 227
0.1290
-6.0000
2.0000
0.1290
testing/NTCIR/xhtml5/9/1301.1547/1301.1547_1_102.xhtml
(2kε,2kε)