tangent
Not Supported
W
(
2
,
k
)
>
2
k
/
k
ε
Search
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
(
r
k
+
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
/
k
u
≅
𝔤
𝔩
(
2
,
k
)
Doc 54
0.4255
-1.0000
4.0000
0.8511
testing/NTCIR/xhtml5/7/1006.5236/1006.5236_1_6.xhtml
G
L
(
2
,
k
)
S
L
(
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
,
k
F
)
SL
(
2
,
k
F
)
Doc 56
0.4255
-1.0000
4.0000
0.8511
testing/NTCIR/xhtml5/7/1004.2603/1004.2603_1_18.xhtml
G
L
(
2
,
k
)
P
G
L
(
2
,
k
)
Doc 57
0.4255
-1.0000
4.0000
0.8511
testing/NTCIR/xhtml5/8/1109.2560/1109.2560_1_87.xhtml
F
1
(
2
,
k
)
F
2
(
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
,
k
F
)
SL
(
2
,
k
F
)
Doc 60
0.4255
-1.0000
4.0000
0.7543
testing/NTCIR/xhtml5/5/math0703594/math0703594_1_87.xhtml
V
T
(
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
G
L
(
2
,
k
)
Doc 62
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/5/math0703567/math0703567_1_172.xhtml
G
L
(
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
,
k
E
)
Doc 64
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/7/1006.5236/1006.5236_1_8.xhtml
G
L
(
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
,
k
F
)
Doc 66
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/3/math0306128/math0306128_1_123.xhtml
g
1
(
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
,
k
E
)
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
V
T
(
2
,
k
)
Doc 70
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/5/math0703594/math0703594_1_89.xhtml
V
T
(
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
V
T
(
2
,
k
)
Doc 73
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/3/math0302229/math0302229_1_96.xhtml
s
l
(
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
S
O
(
2
,
k
)
Doc 76
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/5/math0703567/math0703567_1_174.xhtml
G
L
(
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
,
k
v
)
Doc 78
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/9/1301.5667/1301.5667_1_29.xhtml
G
L
(
2
,
k
)
Doc 79
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/3/math0302229/math0302229_1_91.xhtml
s
l
(
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
G
L
(
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
(
2
n
,
k
)
Doc 88
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/10/math9904152/math9904152_1_82.xhtml
S
L
(
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
s
l
(
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
S
L
(
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
S
L
(
2
,
k
)
Doc 95
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/10/math9904152/math9904152_1_79.xhtml
S
L
(
2
,
k
)
Doc 96
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/5/math0703567/math0703567_1_300.xhtml
S
L
(
2
,
k
)
Doc 97
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/3/math0306128/math0306128_1_124.xhtml
g
1
(
2
,
k
)
Doc 98
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/9/1212.6799/1212.6799_1_97.xhtml
G
L
(
2
,
k
)
Doc 99
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/9/1212.6799/1212.6799_1_112.xhtml
G
L
(
2
,
k
)
Doc 100
0.4255
-1.0000
4.0000
0.4255
testing/NTCIR/xhtml5/10/math9904152/math9904152_1_75.xhtml
S
L
(
2
,
k
)
Doc 101
0.4255
-1.0000
3.0000
0.4255
testing/NTCIR/xhtml5/9/1401.3823/1401.3823_1_51.xhtml
DNR
(
2
k
,
f
)
Doc 102
0.4255
-1.0000
3.0000
0.4255
testing/NTCIR/xhtml5/9/1401.3823/1401.3823_1_50.xhtml
DNR
(
2
k
,
f
)
Doc 103
0.4255
-1.0000
3.0000
0.4255
testing/NTCIR/xhtml5/2/hep-th0210167/hep-th0210167_1_29.xhtml
M
(
2
k
,
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
G
G
S
(
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
P
G
L
(
2
,
k
)
Doc 113
0.4255
-2.0000
4.0000
0.4255
testing/NTCIR/xhtml5/2/math0207245/math0207245_1_21.xhtml
P
G
L
(
2
,
k
)
Doc 114
0.4255
-2.0000
4.0000
0.4255
testing/NTCIR/xhtml5/2/math0207245/math0207245_1_2.xhtml
P
G
L
(
2
,
k
)
Doc 115
0.4255
-2.0000
4.0000
0.4255
testing/NTCIR/xhtml5/2/math0207245/math0207245_1_7.xhtml
P
G
L
(
2
,
k
)
Doc 116
0.4255
-2.0000
4.0000
0.4255
testing/NTCIR/xhtml5/7/1004.2603/1004.2603_1_8.xhtml
P
G
L
(
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
P
G
L
(
2
,
k
)
Doc 121
0.4255
-2.0000
4.0000
0.4255
testing/NTCIR/xhtml5/9/1301.1153/1301.1153_1_133.xhtml
G
G
S
(
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
G
L
(
2
,
k
∞
)
Doc 125
0.4255
-2.0000
4.0000
0.4255
testing/NTCIR/xhtml5/5/0811.4266/0811.4266_1_30.xhtml
(
2
n
,
k
)
>
1
Doc 126
0.4255
-2.0000
4.0000
0.4255
testing/NTCIR/xhtml5/5/0805.2534/0805.2534_1_10.xhtml
ℙ
G
L
(
2
,
k
)
Doc 127
0.4255
-3.0000
4.0000
0.4255
testing/NTCIR/xhtml5/6/0912.3538/0912.3538_1_45.xhtml
N
∈
s
l
(
2
,
k
)
Doc 128
0.4255
-3.0000
4.0000
0.4255
testing/NTCIR/xhtml5/6/0912.3538/0912.3538_1_43.xhtml
N
∈
s
l
(
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
M
∈
S
L
(
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
=
P
G
L
(
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
=
2
k
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
2
k
/
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
(
2
k
,
k
)
Doc 183
0.3288
-1.0000
4.0000
0.3288
testing/NTCIR/xhtml5/3/math0311226/math0311226_1_59.xhtml
2
k
/
k
2
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
(
2
k
,
ε
)
Doc 187
0.3288
-1.0000
3.0000
0.3288
testing/NTCIR/xhtml5/6/0904.3116/0904.3116_1_78.xhtml
(
2
k
,
ε
)
Doc 188
0.3288
-1.0000
3.0000
0.3288
testing/NTCIR/xhtml5/6/0904.3116/0904.3116_1_54.xhtml
(
2
k
,
ε
)
Doc 189
0.3288
-1.0000
3.0000
0.3288
testing/NTCIR/xhtml5/7/1008.0700/1008.0700_1_17.xhtml
(
2
k
,
m
)
Doc 190
0.3288
-2.0000
4.0000
0.6575
testing/NTCIR/xhtml5/6/0904.3395/0904.3395_1_118.xhtml
O
(
2
k
/
k
)
α
a
(
k
)
∼
e
2
k
/
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
=
2
k
/
k
Doc 193
0.3288
-2.0000
4.0000
0.3288
testing/NTCIR/xhtml5/3/math0412505/math0412505_1_31.xhtml
GL
(
2
,
k
v
)
Doc 194
0.3288
-3.0000
4.0000
0.3288
testing/NTCIR/xhtml5/8/1210.1705/1210.1705_1_64.xhtml
N
≥
max
(
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
,
k
2
)
Doc 202
0.3288
-3.0000
4.0000
0.3288
testing/NTCIR/xhtml5/8/1210.1705/1210.1705_1_90.xhtml
N
≥
max
(
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
,
k
2
)
Doc 204
0.3288
-3.0000
3.0000
0.3288
testing/NTCIR/xhtml5/6/1003.1064/1003.1064_1_24.xhtml
{
2
k
,
k
≥
3
}
Doc 205
0.3288
-5.0000
3.0000
0.3288
testing/NTCIR/xhtml5/4/math0503173/math0503173_1_40.xhtml
H
(
2
k
,
2
t
2
k
)
Doc 206
0.3288
-6.0000
4.0000
0.3288
testing/NTCIR/xhtml5/9/1307.0158/1307.0158_1_59.xhtml
≡
-
(
2
,
k
)
(
mod
k
)
,
Doc 207
0.3288
-6.0000
4.0000
0.3288
testing/NTCIR/xhtml5/9/1307.0158/1307.0158_1_60.xhtml
≡
-
(
2
,
k
)
(
mod
k
)
,
Doc 208
0.3288
-6.0000
4.0000
0.3288
testing/NTCIR/xhtml5/7/1006.0744/1006.0744_1_12.xhtml
f
(
k
)
=
Θ
(
2
k
/
k
)
Doc 209
0.3288
-6.0000
4.0000
0.3288
testing/NTCIR/xhtml5/9/1307.0158/1307.0158_1_61.xhtml
≡
-
(
2
,
k
)
(
mod
k
)
,
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
(
2
k
,
8
)
Doc 212
0.2308
-3.0000
3.0000
0.2308
testing/NTCIR/xhtml5/9/1301.1547/1301.1547_1_48.xhtml
(
2
k
,
2
k
)
Doc 213
0.2308
-3.0000
3.0000
0.2308
testing/NTCIR/xhtml5/9/1301.1547/1301.1547_1_61.xhtml
(
2
k
,
2
k
)
Doc 214
0.2308
-3.0000
3.0000
0.2308
testing/NTCIR/xhtml5/9/1301.1547/1301.1547_1_57.xhtml
(
2
k
,
2
k
)
Doc 215
0.2308
-3.0000
3.0000
0.2308
testing/NTCIR/xhtml5/9/1301.1547/1301.1547_1_49.xhtml
(
2
k
,
2
k
)
Doc 216
0.2308
-3.0000
3.0000
0.2308
testing/NTCIR/xhtml5/4/math0506627/math0506627_1_472.xhtml
(
2
k
,
2
k
)
Doc 217
0.2308
-3.0000
3.0000
0.2308
testing/NTCIR/xhtml5/9/1301.1547/1301.1547_1_71.xhtml
(
2
k
,
2
k
)
Doc 218
0.2308
-3.0000
3.0000
0.2308
testing/NTCIR/xhtml5/9/1301.1547/1301.1547_1_70.xhtml
(
2
k
,
2
k
)
Doc 219
0.2308
-3.0000
3.0000
0.2308
testing/NTCIR/xhtml5/9/1301.1547/1301.1547_1_66.xhtml
(
2
k
,
2
k
)
Doc 220
0.2308
-4.0000
3.0000
0.2308
testing/NTCIR/xhtml5/5/math0703028/math0703028_1_25.xhtml
(
2
k
-
2
,
k
)
Doc 221
0.2308
-4.0000
3.0000
0.2308
testing/NTCIR/xhtml5/5/math0703028/math0703028_1_24.xhtml
(
2
k
-
2
,
k
)
Doc 222
0.2308
-4.0000
3.0000
0.2308
testing/NTCIR/xhtml5/5/0807.2058/0807.2058_1_24.xhtml
(
2
k
-
2
,
k
)
Doc 223
0.2308
-6.0000
3.0000
0.2308
testing/NTCIR/xhtml5/1/math0001027/math0001027_1_32.xhtml
(
2
k
,
1
n
-
2
k
)
Doc 224
0.2308
-7.0000
3.0000
0.2308
testing/NTCIR/xhtml5/4/math0605210/math0605210_1_29.xhtml
C
min
(
2
j
-
k
,
2
k
)
Doc 225
0.2308
-10.0000
3.0000
0.2308
testing/NTCIR/xhtml5/3/math0407376/math0407376_1_59.xhtml
O
k
C
=
(
2
k
,
1
n
-
2
k
)
Doc 226
0.1290
-1.0000
2.0000
0.1290
testing/NTCIR/xhtml5/2/math0012168/math0012168_1_96.xhtml
2
k
,
Doc 227
0.1290
-6.0000
2.0000
0.1290
testing/NTCIR/xhtml5/9/1301.1547/1301.1547_1_102.xhtml
(
2
k
ε
,
2
k
ε
)