Returned 89 matches (100 formulae, 115 docs)
    Lookup 687.284 ms, Re-ranking 180.540 ms
    Found 12468708 tuple postings, 7828143 formulae, 3699724 documents
[ formulas ] [ documents ] [ documents-by-formula ]

Doc 1
0.9129
0.0000
8.0000
0.9129
testing/NTCIR/xhtml5/7/1107.0935/1107.0935_1_12.xhtml
Xt=φXt-1+εt

Doc 2
0.9129
-1.0000
8.0000
0.9129
testing/NTCIR/xhtml5/6/0911.3520/0911.3520_1_148.xhtml
Xt=qXt-1+εt,

Doc 3
0.9129
-1.0000
8.0000
0.9129
testing/NTCIR/xhtml5/6/0911.3520/0911.3520_1_156.xhtml
Xt=qXt-1+εt,

Doc 4
0.7767
-3.0000
7.0000
0.7767
testing/NTCIR/xhtml5/6/0908.2960/0908.2960_1_100.xhtml
εt=bεt-1+ε~t,

Doc 5
0.7385
-3.0000
6.0000
0.7385
testing/NTCIR/xhtml5/1/1304.7956/1304.7956_1_8.xhtml
Fεt-1=M1εt-1

Doc 6
0.6512
-1.0000
5.0000
0.6512
testing/NTCIR/xhtml5/5/0709.1589/0709.1589_1_145.xhtml
St=εtSt-1

Doc 7
0.6512
-1.0000
5.0000
0.6512
testing/NTCIR/xhtml5/5/0709.1589/0709.1589_1_142.xhtml
St=εtSt-1

Doc 8
0.6512
-3.0000
6.0000
0.6512
testing/NTCIR/xhtml5/2/math0107144/math0107144_1_5.xhtml
AXt-1+εt,X0

Doc 9
0.5638
-3.0000
5.0000
1.1275
testing/NTCIR/xhtml5/8/1203.5572/1203.5572_1_44.xhtml
bxt-1+εx,t
dzt-1+cyzyt-1+εz,t

Doc 10
0.5638
-4.0000
6.0000
0.5638
testing/NTCIR/xhtml5/6/0908.2960/0908.2960_1_78.xhtml
Xt=Xt-1+ε~t

Doc 11
0.5638
-5.0000
5.0000
0.5638
testing/NTCIR/xhtml5/4/math0512201/math0512201_1_33.xhtml
St=St-1+ξt-1

Doc 12
0.5638
-5.0000
5.0000
0.5638
testing/NTCIR/xhtml5/4/math0512201/math0512201_1_21.xhtml
St=St-1+ξt-1

Doc 13
0.5638
-5.0000
5.0000
0.5638
testing/NTCIR/xhtml5/8/1112.3615/1112.3615_1_16.xhtml
At=At-1+ηt-1

Doc 14
0.5109
-5.0000
5.0000
0.5109
testing/NTCIR/xhtml5/8/1210.7192/1210.7192_1_51.xhtml
Xt=Ψ(Xt-1)+εt

Doc 15
0.4762
-5.0000
5.0000
0.4762
testing/NTCIR/xhtml5/5/0711.2345/0711.2345_1_70.xhtml
ut=zt-1+bzt

Doc 16
0.4762
-7.0000
5.0000
0.8059
testing/NTCIR/xhtml5/9/1211.7056/1211.7056_1_67.xhtml
zt-1′′=zt-1+β
zt-1=zt

Doc 17
0.4211
-2.0000
6.0000
1.2632
testing/NTCIR/xhtml5/8/1204.3368/1204.3368_1_86.xhtml
zt3zt-1
zt-1+zt2a
zt-1+zt2zt2a
Doc 18
0.4211
-4.0000
4.0000
0.4211
testing/NTCIR/xhtml5/8/1206.5704/1206.5704_1_46.xhtml
Bt1=λt-Qt1

Doc 19
0.4211
-5.0000
4.0000
0.4211
testing/NTCIR/xhtml5/8/1208.6205/1208.6205_1_7.xhtml
zt=xt+-1yt

Doc 20
0.4211
-5.0000
4.0000
0.4211
testing/NTCIR/xhtml5/8/1208.6205/1208.6205_1_4.xhtml
zt=xt+-1yt

Doc 21
0.4211
-5.0000
4.0000
0.4211
testing/NTCIR/xhtml5/3/math0501296/math0501296_1_2.xhtml
zt=xt+-1yt

Doc 22
0.4211
-6.0000
4.0000
0.4211
testing/NTCIR/xhtml5/7/1010.4595/1010.4595_1_11.xhtml
At-At-1=ηt-1

Doc 23
0.3883
-2.0000
4.0000
0.3883
testing/NTCIR/xhtml5/9/1308.5320/1308.5320_1_28.xhtml
zn-1=λ1

Doc 24
0.3883
-2.0000
3.0000
0.3883
testing/NTCIR/xhtml5/9/1308.5320/1308.5320_1_73.xhtml
xn-1=λ1

Doc 25
0.3883
-2.0000
3.0000
0.3883
testing/NTCIR/xhtml5/9/1308.5320/1308.5320_1_109.xhtml
xn-1=λ1

Doc 26
0.3883
-2.0000
3.0000
0.3883
testing/NTCIR/xhtml5/9/1308.5320/1308.5320_1_74.xhtml
xn-1=λ1

Doc 27
0.3883
-2.0000
3.0000
0.3883
testing/NTCIR/xhtml5/9/1308.5320/1308.5320_1_79.xhtml
xn-1=λ1

Doc 28
0.3883
-3.0000
4.0000
0.3883
testing/NTCIR/xhtml5/2/cond-mat0010296/cond-mat0010296_1_12.xhtml
z=zn-1+1

Doc 29
0.3883
-5.0000
5.0000
0.3883
testing/NTCIR/xhtml5/4/math0507554/math0507554_1_30.xhtml
J(x)z1=λ1z1

Doc 30
0.3883
-5.0000
5.0000
0.3883
testing/NTCIR/xhtml5/4/math0507554/math0507554_1_27.xhtml
J(x)z1=λ1z1

Doc 31
0.3529
-8.0000
6.0000
0.3529
testing/NTCIR/xhtml5/8/1209.0273/1209.0273_1_32.xhtml
z1z2zt-1<zt

Doc 32
0.3529
-13.0000
6.0000
0.3529
testing/NTCIR/xhtml5/8/1209.0273/1209.0273_1_24.xhtml
z1z2zt-1>zt=dk-2

Doc 33
0.3297
-2.0000
5.0000
0.3297
testing/NTCIR/xhtml5/2/cs0206039/cs0206039_1_74.xhtml
zt-1zt

Doc 34
0.3297
-4.0000
4.0000
0.3297
testing/NTCIR/xhtml5/6/0904.1060/0904.1060_1_30.xhtml
-Δzt+zt=0

Doc 35
0.3297
-6.0000
3.0000
0.3297
testing/NTCIR/xhtml5/5/0706.2219/0706.2219_1_40.xhtml
qtqt-1λ12t

Doc 36
0.3297
-7.0000
5.0000
0.6593
testing/NTCIR/xhtml5/8/1209.0273/1209.0273_1_29.xhtml
zt-1>zt=dk-2
z1z2zt-1>zt

Doc 37
0.3297
-8.0000
4.0000
0.3297
testing/NTCIR/xhtml5/2/cs0206039/cs0206039_1_31.xhtml
z^t-1=rz^t,t.

Doc 38
0.3297
-8.0000
4.0000
0.3297
testing/NTCIR/xhtml5/2/cs0206039/cs0206039_1_43.xhtml
z^t-1=rz^t,t.

Doc 39
0.3297
-15.0000
3.0000
0.7507
testing/NTCIR/xhtml5/8/1206.0038/1206.0038_1_28.xhtml
and zt-zt-1=0xt-1𝕏f.
zt=zt*
zt=z~t
Doc 40
0.3000
-2.0000
4.0000
0.3000
testing/NTCIR/xhtml5/5/0804.2116/0804.2116_1_39.xhtml
z1=λ1

Doc 41
0.3000
-2.0000
3.0000
0.3000
testing/NTCIR/xhtml5/6/1002.4165/1002.4165_1_2.xhtml
σ=λ1-1

Doc 42
0.3000
-2.0000
3.0000
0.3000
testing/NTCIR/xhtml5/6/0912.3820/0912.3820_1_95.xhtml
m=λ1-1

Doc 43
0.3000
-2.0000
3.0000
0.3000
testing/NTCIR/xhtml5/6/0912.3507/0912.3507_1_40.xhtml
c=λ1-1

Doc 44
0.3000
-2.0000
3.0000
0.3000
testing/NTCIR/xhtml5/6/0912.3820/0912.3820_1_99.xhtml
m=λ1-1

Doc 45
0.3000
-2.0000
3.0000
0.3000
testing/NTCIR/xhtml5/6/0912.3820/0912.3820_1_107.xhtml
m=λ1-1

Doc 46
0.3000
-2.0000
3.0000
0.3000
testing/NTCIR/xhtml5/6/0912.3820/0912.3820_1_110.xhtml
m=λ1-1

Doc 47
0.3000
-3.0000
4.0000
0.3000
testing/NTCIR/xhtml5/6/0904.4903/0904.4903_1_94.xhtml
xt=zt-1

Doc 48
0.3000
-3.0000
3.0000
0.3000
testing/NTCIR/xhtml5/10/cmp-lg9706007/cmp-lg9706007_1_52.xhtml
λ1(wt-1)

Doc 49
0.3000
-3.0000
3.0000
0.3000
testing/NTCIR/xhtml5/4/math0509557/math0509557_1_72.xhtml
h=λ1-1g

Doc 50
0.3000
-3.0000
3.0000
0.3000
testing/NTCIR/xhtml5/6/0912.3820/0912.3820_1_92.xhtml
m=λ~1-1

Doc 51
0.3000
-3.0000
3.0000
0.3000
testing/NTCIR/xhtml5/10/cmp-lg9706007/cmp-lg9706007_1_51.xhtml
λ1(wt-1)

Doc 52
0.3000
-3.0000
2.0000
0.3000
testing/NTCIR/xhtml5/6/0906.0918/0906.0918_1_360.xhtml
λ1=λ+εi

Doc 53
0.3000
-3.0000
2.0000
0.3000
testing/NTCIR/xhtml5/6/0906.0918/0906.0918_1_358.xhtml
λ1=λ+εi

Doc 54
0.3000
-3.0000
2.0000
0.3000
testing/NTCIR/xhtml5/10/hep-th9407053/hep-th9407053_1_32.xhtml
λ1=λN-1

Doc 55
0.3000
-4.0000
4.0000
0.3000
testing/NTCIR/xhtml5/6/0902.2030/0902.2030_1_14.xhtml
zt=λ-1=0.461

Doc 56
0.3000
-4.0000
4.0000
0.3000
testing/NTCIR/xhtml5/6/0902.2030/0902.2030_1_12.xhtml
zt=λ-1=0.502

Doc 57
0.3000
-4.0000
3.0000
0.3000
testing/NTCIR/xhtml5/5/0803.2901/0803.2901_1_70.xhtml
h=λ1+r-1

Doc 58
0.3000
-4.0000
3.0000
0.3000
testing/NTCIR/xhtml5/5/0711.4336/0711.4336_1_115.xhtml
N=λ1+l-1

Doc 59
0.3000
-4.0000
3.0000
0.3000
testing/NTCIR/xhtml5/5/0711.4336/0711.4336_1_113.xhtml
N=λ1+l-1

Doc 60
0.3000
-4.0000
3.0000
0.3000
testing/NTCIR/xhtml5/5/0711.4336/0711.4336_1_19.xhtml
N=λ1+l-1

Doc 61
0.3000
-4.0000
3.0000
0.3000
testing/NTCIR/xhtml5/9/1303.0350/1303.0350_1_39.xhtml
α=λ1-1/2

Doc 62
0.3000
-4.0000
2.0000
0.3000
testing/NTCIR/xhtml5/6/0902.3254/0902.3254_1_25.xhtml
εti-1=-1

Doc 63
0.3000
-5.0000
3.0000
0.3000
testing/NTCIR/xhtml5/7/1012.3113/1012.3113_1_11.xhtml
zt=wt-1(0)

Doc 64
0.3000
-5.0000
3.0000
0.3000
testing/NTCIR/xhtml5/8/1210.1880/1210.1880_1_26.xhtml
zt=at-1-1

Doc 65
0.3000
-5.0000
3.0000
0.3000
testing/NTCIR/xhtml5/7/1012.3113/1012.3113_1_43.xhtml
zt=wt-1(0)

Doc 66
0.3000
-6.0000
3.0000
0.3000
testing/NTCIR/xhtml5/8/1201.6161/1201.6161_1_14.xhtml
zt=σt-1(st)

Doc 67
0.3000
-6.0000
3.0000
0.3000
testing/NTCIR/xhtml5/9/1309.5904/1309.5904_1_37.xhtml
zt=xt-xt-1

Doc 68
0.3000
-6.0000
3.0000
0.3000
testing/NTCIR/xhtml5/7/1012.3113/1012.3113_1_41.xhtml
zt=gt-1(xt)

Doc 69
0.3000
-7.0000
4.0000
0.3000
testing/NTCIR/xhtml5/11/math9912044/math9912044_1_4.xhtml
σfσ-1=λ1zd1

Doc 70
0.3000
-7.0000
4.0000
0.3000
testing/NTCIR/xhtml5/7/1105.0934/1105.0934_1_54.xhtml
Δzt:=zt-zt-1

Doc 71
0.3000
-7.0000
4.0000
0.3000
testing/NTCIR/xhtml5/11/math9912044/math9912044_1_6.xhtml
σfσ-1=λ1zd1

Doc 72
0.3000
-7.0000
3.0000
0.6000
testing/NTCIR/xhtml5/7/1004.0377/1004.0377_1_78.xhtml
Zt:=Zt-1{zt}
|ft-1(zt)-g(zt)|>3ε

Doc 73
0.3000
-7.0000
3.0000
0.3000
testing/NTCIR/xhtml5/8/1211.1204/1211.1204_1_13.xhtml
Var(εtt-1)=1

Doc 74
0.3000
-7.0000
3.0000
0.3000
testing/NTCIR/xhtml5/2/hep-th0101227/hep-th0101227_1_30.xhtml
jλ1(t)j=λ1(t)

Doc 75
0.3000
-8.0000
3.0000
0.3000
testing/NTCIR/xhtml5/6/0908.2960/0908.2960_1_97.xhtml
X¯t=(Xtεt-1).

Doc 76
0.3000
-9.0000
4.0000
0.3000
testing/NTCIR/xhtml5/6/0904.4903/0904.4903_1_97.xhtml
wt=12ztzt-1

Doc 77
0.3000
-9.0000
3.0000
0.3000
testing/NTCIR/xhtml5/3/cs0405043/cs0405043_1_20.xhtml
1εt-1εt-10

Doc 78
0.3000
-10.0000
3.0000
0.3000
testing/NTCIR/xhtml5/1/1204.5445/1204.5445_1_25.xhtml
zt+1=czt+σηt,

Doc 79
0.2353
-3.0000
3.0000
0.2353
testing/NTCIR/xhtml5/2/math0207122/math0207122_1_41.xhtml
λj=λ1-1

Doc 80
0.2353
-3.0000
3.0000
0.2353
testing/NTCIR/xhtml5/2/math0207122/math0207122_1_44.xhtml
λj=λ1-1

Doc 81
0.2353
-3.0000
3.0000
0.2353
testing/NTCIR/xhtml5/4/math0512134/math0512134_1_8.xhtml
λN-1=λ1

Doc 82
0.2353
-3.0000
2.0000
0.2353
testing/NTCIR/xhtml5/5/0706.3355/0706.3355_1_162.xhtml
tλ1-1t

Doc 83
0.2353
-3.0000
2.0000
0.2353
testing/NTCIR/xhtml5/5/0706.3355/0706.3355_1_159.xhtml
tλ1-1t

Doc 84
0.2353
-4.0000
4.0000
0.4458
testing/NTCIR/xhtml5/3/math0407417/math0407417_1_95.xhtml
zt2z=zt1
zt1=zt2

Doc 85
0.2353
-7.0000
3.0000
0.2353
testing/NTCIR/xhtml5/9/1301.7473/1301.7473_1_48.xhtml
Δzt=zt+1-zt

Doc 86
0.2105
-3.0000
3.0000
0.2105
testing/NTCIR/xhtml5/9/1212.1255/1212.1255_1_53.xhtml
zt=zts

Doc 87
0.2105
-3.0000
3.0000
0.2105
testing/NTCIR/xhtml5/6/0904.1615/0904.1615_1_37.xhtml
zt=zt

Doc 88
0.2105
-3.0000
3.0000
0.2105
testing/NTCIR/xhtml5/9/1309.7886/1309.7886_1_2.xhtml
2t-1+ε

Doc 89
0.2105
-3.0000
3.0000
0.2105
testing/NTCIR/xhtml5/7/1004.0581/1004.0581_1_21.xhtml
t1t-1

Doc 90
0.2105
-3.0000
3.0000
0.2105
testing/NTCIR/xhtml5/2/hep-th0110243/hep-th0110243_1_26.xhtml
tzt=1

Doc 91
0.2105
-3.0000
3.0000
0.2105
testing/NTCIR/xhtml5/2/math0112256/math0112256_1_60.xhtml
λ=λ1+ε

Doc 92
0.2105
-3.0000
3.0000
0.2105
testing/NTCIR/xhtml5/2/cs0206039/cs0206039_1_112.xhtml
zt=z^t

Doc 93
0.2105
-4.0000
3.0000
0.4211
testing/NTCIR/xhtml5/7/1010.5453/1010.5453_1_177.xhtml
λ=λ1+-1
λ=λ1--1

Doc 94
0.2105
-4.0000
3.0000
0.2105
testing/NTCIR/xhtml5/8/1111.1205/1111.1205_1_127.xhtml
zt0t-1

Doc 95
0.2105
-4.0000
3.0000
0.2105
testing/NTCIR/xhtml5/8/1111.1205/1111.1205_1_143.xhtml
zt0t-1

Doc 96
0.2105
-4.0000
3.0000
0.2105
testing/NTCIR/xhtml5/8/1205.5876/1205.5876_1_39.xhtml
λ2=λ1-1

Doc 97
0.2105
-4.0000
3.0000
0.2105
testing/NTCIR/xhtml5/1/math-ph0004001/math-ph0004001_1_20.xhtml
z1=λν-1

Doc 98
0.2105
-4.0000
3.0000
0.2105
testing/NTCIR/xhtml5/8/1205.5876/1205.5876_1_40.xhtml
λ2=λ1-1

Doc 99
0.2105
-4.0000
3.0000
0.2105
testing/NTCIR/xhtml5/7/1010.5453/1010.5453_1_178.xhtml
λ=λ1±-1

Doc 100
0.2105
-4.0000
2.0000
0.2105
testing/NTCIR/xhtml5/2/math0208085/math0208085_1_184.xhtml
λλ1+ε1

Doc 101
0.2105
-4.0000
2.0000
0.2105
testing/NTCIR/xhtml5/3/cs0304026/cs0304026_1_18.xhtml
1k-1+ε

Doc 102
0.2105
-4.0000
2.0000
0.2105
testing/NTCIR/xhtml5/6/0906.0918/0906.0918_1_354.xhtml
λ1=λ+ε3

Doc 103
0.2105
-4.0000
2.0000
0.2105
testing/NTCIR/xhtml5/3/hep-th0412191/hep-th0412191_1_133.xhtml
λ1=λ2-1

Doc 104
0.2105
-5.0000
2.0000
0.2105
testing/NTCIR/xhtml5/10/hep-th9612253/hep-th9612253_1_59.xhtml
λ1=λ2=-1

Doc 105
0.2105
-5.0000
2.0000
0.2105
testing/NTCIR/xhtml5/10/q-alg9605044/q-alg9605044_1_80.xhtml
λ1=λ2=-1

Doc 106
0.2105
-5.0000
2.0000
0.2105
testing/NTCIR/xhtml5/10/q-alg9605044/q-alg9605044_1_85.xhtml
λ1=λ2=-1

Doc 107
0.2105
-7.0000
3.0000
0.2105
testing/NTCIR/xhtml5/8/1211.1054/1211.1054_1_118.xhtml
(t-εt,t+εt)

Doc 108
0.2105
-8.0000
3.0000
0.2105
testing/NTCIR/xhtml5/6/0901.0633/0901.0633_1_31.xhtml
xkt+ltt-1+1

Doc 109
0.2105
-8.0000
1.0000
0.2105
testing/NTCIR/xhtml5/2/cond-mat0010296/cond-mat0010296_1_11.xhtml
σztσz+1t=-1

Doc 110
0.2105
-11.0000
2.0000
0.2105
testing/NTCIR/xhtml5/8/1111.4986/1111.4986_1_15.xhtml
M(t)=λ2(t)-1λ1(t)

Doc 111
0.1333
-4.0000
3.0000
0.1333
testing/NTCIR/xhtml5/6/1001.4275/1001.4275_1_174.xhtml
zt-zt-1

Doc 112
0.1333
-6.0000
3.0000
0.1333
testing/NTCIR/xhtml5/5/0802.0382/0802.0382_1_34.xhtml
λt-1=λt-1

Doc 113
0.1176
-3.0000
2.0000
0.1176
testing/NTCIR/xhtml5/3/math0410075/math0410075_1_218.xhtml
(-1)εt

Doc 114
0.1176
-4.0000
2.0000
0.1176
testing/NTCIR/xhtml5/2/hep-th0104094/hep-th0104094_1_38.xhtml
λ1=λ-1

Doc 115
0.1176
-6.0000
2.0000
0.1176
testing/NTCIR/xhtml5/7/1107.5530/1107.5530_1_47.xhtml
z1+z2=-1