Returned 90 matches (100 formulae, 112 docs)
    Lookup 4700.640 ms, Re-ranking 414.208 ms
    Found 107653609 tuple postings, 7207030 formulae, 3261847 documents
[ formulas ] [ documents ] [ documents-by-formula ]

Doc 1
0.4586
-16.0000
7.0000
0.4586
testing/NTCIR/xhtml5/6/1003.4698/1003.4698_1_61.xhtml
av-ΔDv-β2uηv=0,v(0)=ξμV,

Doc 2
0.4043
0.0000
5.0000
0.4043
testing/NTCIR/xhtml5/9/1310.2769/1310.2769_1_100.xhtml
Av-αIv=0

Doc 3
0.4043
-7.0000
5.0000
0.4043
testing/NTCIR/xhtml5/5/0811.3008/0811.3008_1_28.xhtml
(a+b)vppp-Favp=0

Doc 4
0.3913
-4.0000
5.0000
0.3913
testing/NTCIR/xhtml5/5/math0703769/math0703769_1_115.xhtml
-vkt-vk-f

Doc 5
0.3913
-5.0000
5.0000
0.3913
testing/NTCIR/xhtml5/5/0712.2007/0712.2007_1_24.xhtml
ψxx-14ψ-λyψ=0

Doc 6
0.3721
-2.0000
4.0000
0.3721
testing/NTCIR/xhtml5/10/chao-dyn9803032/chao-dyn9803032_1_13.xhtml
vt*-ivvx=0.

Doc 7
0.3721
-6.0000
6.0000
0.3721
testing/NTCIR/xhtml5/6/1003.0398/1003.0398_1_53.xhtml
-Δg+v-s(n-s)v=0

Doc 8
0.3721
-6.0000
6.0000
0.3721
testing/NTCIR/xhtml5/6/1003.0398/1003.0398_1_49.xhtml
-Δg+v-s(n-s)v=0

Doc 9
0.3721
-6.0000
5.0000
0.3721
testing/NTCIR/xhtml5/6/0907.4517/0907.4517_1_115.xhtml
vivj-qijvjvi=0

Doc 10
0.3721
-8.0000
5.0000
0.3721
testing/NTCIR/xhtml5/10/math-ph9807003/math-ph9807003_1_6.xhtml
u2w3v2-u3w2v3=0

Doc 11
0.3500
-7.0000
5.0000
1.0500
testing/NTCIR/xhtml5/5/0705.2488/0705.2488_1_3.xhtml
D𝐐ξDt-𝐐λ𝐐ξ=0
D2𝐐ξDt2-𝐐ρ𝐐ξ=0
D2𝐐ψDt2-𝐐ρ𝐐ψ=0
Doc 12
0.3500
-7.0000
4.0000
0.3500
testing/NTCIR/xhtml5/5/0811.3630/0811.3630_1_7.xhtml
dv1dt-λv1v3=0

Doc 13
0.3500
-18.0000
1.0000
0.3500
testing/NTCIR/xhtml5/7/1106.2012/1106.2012_1_27.xhtml
vt=f1u-f2vkg-f3vkn.

Doc 14
0.3347
-5.0000
4.0000
0.3347
testing/NTCIR/xhtml5/5/math0703769/math0703769_1_50.xhtml
-F0t-F0-f

Doc 15
0.3167
-1.0000
5.0000
0.3167
testing/NTCIR/xhtml5/9/1401.3244/1401.3244_1_17.xhtml
DφDtH0

Doc 16
0.3167
-2.0000
5.0000
0.3167
testing/NTCIR/xhtml5/6/0909.2326/0909.2326_1_96.xhtml
Δv-2KLv=0

Doc 17
0.3167
-2.0000
5.0000
0.3167
testing/NTCIR/xhtml5/9/1401.3244/1401.3244_1_15.xhtml
DφDtV0

Doc 18
0.3167
-2.0000
5.0000
0.3167
testing/NTCIR/xhtml5/6/0909.2326/0909.2326_1_93.xhtml
Δv-2KLv=0

Doc 19
0.3167
-3.0000
5.0000
0.3167
testing/NTCIR/xhtml5/2/math0211460/math0211460_1_46.xhtml
τdv-P(τ)v=0

Doc 20
0.3167
-4.0000
5.0000
0.3167
testing/NTCIR/xhtml5/1/math0005034/math0005034_1_59.xhtml
ρDgVDt=DIV𝒫,

Doc 21
0.3167
-5.0000
5.0000
0.3167
testing/NTCIR/xhtml5/5/0802.2131/0802.2131_1_35.xhtml
DuξDt=Fξ,

Doc 22
0.3167
-5.0000
5.0000
0.3167
testing/NTCIR/xhtml5/7/1106.1118/1106.1118_1_13.xhtml
fv˙2-2R˙v˙=1,

Doc 23
0.3167
-6.0000
5.0000
0.3167
testing/NTCIR/xhtml5/10/dg-ga9601006/dg-ga9601006_1_49.xhtml
-Δωv+β0d0v=δy

Doc 24
0.3167
-7.0000
5.0000
0.3167
testing/NTCIR/xhtml5/6/1001.2306/1001.2306_1_62.xhtml
~δvk-32δvk=0

Doc 25
0.3167
-7.0000
4.0000
0.6123
testing/NTCIR/xhtml5/6/0912.4606/0912.4606_1_20.xhtml
DpaDt=mDvaDt
DCijDt=0,

Doc 26
0.2956
0.0000
4.0000
0.2956
testing/NTCIR/xhtml5/6/0912.4606/0912.4606_1_4.xhtml
DpiDt

Doc 27
0.2956
0.0000
4.0000
0.2956
testing/NTCIR/xhtml5/7/1010.3655/1010.3655_1_88.xhtml
DCKDt

Doc 28
0.2956
0.0000
3.0000
0.2956
testing/NTCIR/xhtml5/9/cond-mat9307009/cond-mat9307009_1_62.xhtml
du0dt

Doc 29
0.2956
0.0000
3.0000
0.2956
testing/NTCIR/xhtml5/9/cond-mat9307009/cond-mat9307009_1_55.xhtml
du0dt

Doc 30
0.2956
0.0000
3.0000
0.2956
testing/NTCIR/xhtml5/9/cond-mat9307009/cond-mat9307009_1_63.xhtml
du0dt

Doc 31
0.2956
-1.0000
5.0000
0.2956
testing/NTCIR/xhtml5/4/math0511311/math0511311_1_77.xhtml
βdvg=0

Doc 32
0.2956
-1.0000
4.0000
0.8867
testing/NTCIR/xhtml5/5/0711.3258/0711.3258_1_49.xhtml
Dχ2Dt=
Dχ3Dt=
Dχ4Dt=
Doc 33
0.2956
-1.0000
4.0000
0.2956
testing/NTCIR/xhtml5/7/1104.1339/1104.1339_1_71.xhtml
D𝒅MDtφ

Doc 34
0.2956
-2.0000
3.0000
0.2956
testing/NTCIR/xhtml5/9/cond-mat9307009/cond-mat9307009_1_387.xhtml
du0dt=0

Doc 35
0.2956
-6.0000
2.0000
0.2956
testing/NTCIR/xhtml5/3/math0309024/math0309024_1_80.xhtml
du¯αadx3(0)=0

Doc 36
0.2956
-6.0000
2.0000
0.2956
testing/NTCIR/xhtml5/3/math0309024/math0309024_1_114.xhtml
du¯αadx3(0)=0

Doc 37
0.2956
-8.0000
4.0000
0.2956
testing/NTCIR/xhtml5/8/1209.6250/1209.6250_1_21.xhtml
vϵt-ϵΔvϵ=0,

Doc 38
0.2956
-8.0000
3.0000
0.2956
testing/NTCIR/xhtml5/1/1203.2107/1203.2107_1_19.xhtml
2ut2-c2Δu=0

Doc 39
0.2956
-8.0000
2.0000
0.2956
testing/NTCIR/xhtml5/8/1207.1543/1207.1543_1_16.xhtml
f1u-f2vk1=0.

Doc 40
0.2772
-3.0000
4.0000
0.2772
testing/NTCIR/xhtml5/4/math-ph0510032/math-ph0510032_1_47.xhtml
vt+a(v)vx=0

Doc 41
0.2772
-3.0000
4.0000
0.2772
testing/NTCIR/xhtml5/4/math-ph0510032/math-ph0510032_1_31.xhtml
vt+a(v)vx=0

Doc 42
0.2772
-7.0000
5.0000
0.2772
testing/NTCIR/xhtml5/9/1401.1175/1401.1175_1_292.xhtml
vt-Δv-λ(t,x)v0

Doc 43
0.2772
-7.0000
5.0000
0.2772
testing/NTCIR/xhtml5/9/1309.1664/1309.1664_1_115.xhtml
v′′′-εv+hv2v=0

Doc 44
0.2772
-9.0000
5.0000
0.2772
testing/NTCIR/xhtml5/2/math0211131/math0211131_1_183.xhtml
P(x)-2x-βu0*(x)=0

Doc 45
0.2772
-9.0000
5.0000
0.2772
testing/NTCIR/xhtml5/10/gr-qc9807002/gr-qc9807002_1_8.xhtml
v..-Hv.+ω2(t)v=0,

Doc 46
0.2772
-9.0000
5.0000
0.2772
testing/NTCIR/xhtml5/10/gr-qc9904027/gr-qc9904027_1_15.xhtml
v..-Hv.+ω2(t)v=0,

Doc 47
0.2609
-3.0000
5.0000
0.2609
testing/NTCIR/xhtml5/10/gr-qc9907080/gr-qc9907080_1_44.xhtml
2v˙-3uv=0

Doc 48
0.2609
-3.0000
5.0000
0.2609
testing/NTCIR/xhtml5/8/1204.1193/1204.1193_1_56.xhtml
v5-3βv3=0

Doc 49
0.2609
-3.0000
4.0000
0.2609
testing/NTCIR/xhtml5/5/0801.2991/0801.2991_1_24.xhtml
vtTΣTtv=0

Doc 50
0.2609
-5.0000
4.0000
0.4650
testing/NTCIR/xhtml5/8/1207.0956/1207.0956_1_38.xhtml
vjC-ukB+c=0
v1C-u1B+c=0

Doc 51
0.2609
-5.0000
4.0000
0.2609
testing/NTCIR/xhtml5/8/1203.3655/1203.3655_1_6.xhtml
vpt2-pvt2=0

Doc 52
0.2609
-8.0000
5.0000
0.2609
testing/NTCIR/xhtml5/6/0904.2909/0904.2909_1_35.xhtml
vξq-vηq+vξy=0,

Doc 53
0.2609
-8.0000
5.0000
0.2609
testing/NTCIR/xhtml5/5/0802.3308/0802.3308_1_92.xhtml
tvν-νzzvν=0,

Doc 54
0.2609
-8.0000
5.0000
0.2609
testing/NTCIR/xhtml5/7/1004.3133/1004.3133_1_1.xhtml
vt+vxxx-6vvx=0

Doc 55
0.2609
-9.0000
5.0000
0.2609
testing/NTCIR/xhtml5/6/0907.1786/0907.1786_1_48.xhtml
tv¯ϵ-νhy2v¯ϵ=0,

Doc 56
0.2609
-9.0000
5.0000
0.2609
testing/NTCIR/xhtml5/6/0907.1786/0907.1786_1_49.xhtml
tv¯ϵ-νhy2v¯ϵ=0,

Doc 57
0.2609
-11.0000
6.0000
0.2609
testing/NTCIR/xhtml5/9/1212.1404/1212.1404_1_87.xhtml
0=yfkv-fkyv=δ(fk)v

Doc 58
0.2609
-13.0000
5.0000
0.2609
testing/NTCIR/xhtml5/8/1211.0079/1211.0079_1_1.xhtml
v′′-ω02(2tan2ω0t+1)v=0

Doc 59
0.2410
-1.0000
3.0000
0.2410
testing/NTCIR/xhtml5/10/hep-th9710109/hep-th9710109_1_6.xhtml
uava=0

Doc 60
0.2410
-2.0000
4.0000
0.4819
testing/NTCIR/xhtml5/5/0801.2632/0801.2632_1_90.xhtml
yrjvj=0
yrjv^j=0

Doc 61
0.2410
-2.0000
4.0000
0.2410
testing/NTCIR/xhtml5/1/0911.1604/0911.1604_1_15.xhtml
DsDt= 0

Doc 62
0.2410
-2.0000
4.0000
0.2410
testing/NTCIR/xhtml5/3/math-ph0310050/math-ph0310050_1_296.xhtml
DsDt= 0

Doc 63
0.2410
-2.0000
4.0000
0.2410
testing/NTCIR/xhtml5/4/math-ph0512072/math-ph0512072_1_259.xhtml
DsDt= 0

Doc 64
0.2410
-2.0000
4.0000
0.2410
testing/NTCIR/xhtml5/3/math-ph0311040/math-ph0311040_1_34.xhtml
DsDt= 0

Doc 65
0.2410
-2.0000
4.0000
0.2410
testing/NTCIR/xhtml5/6/1002.2693/1002.2693_1_42.xhtml
DSDt=0

Doc 66
0.2410
-2.0000
4.0000
0.2410
testing/NTCIR/xhtml5/4/math0611737/math0611737_1_82.xhtml
𝔤1y1v=0

Doc 67
0.2410
-3.0000
4.0000
0.2410
testing/NTCIR/xhtml5/1/math0008143/math0008143_1_263.xhtml
xIyJ1v=0

Doc 68
0.2410
-3.0000
4.0000
0.2410
testing/NTCIR/xhtml5/2/math0212153/math0212153_1_47.xhtml
yβkv¯ν=0

Doc 69
0.2410
-7.0000
2.0000
0.2410
testing/NTCIR/xhtml5/4/math0510384/math0510384_1_98.xhtml
upt-Lup=0

Doc 70
0.2410
-8.0000
4.0000
0.2410
testing/NTCIR/xhtml5/4/math0507359/math0507359_1_21.xhtml
M(Δgu^αi)dvg=0

Doc 71
0.2182
-4.0000
4.0000
0.2182
testing/NTCIR/xhtml5/4/math0609515/math0609515_1_59.xhtml
vm=xm.v0=0

Doc 72
0.2182
-7.0000
5.0000
0.2182
testing/NTCIR/xhtml5/7/1103.5893/1103.5893_1_19.xhtml
-Δv+β|u|q-1u=0

Doc 73
0.2182
-7.0000
5.0000
0.2182
testing/NTCIR/xhtml5/7/1103.5893/1103.5893_1_17.xhtml
-Δv+β|u|q-1u=0

Doc 74
0.2182
-8.0000
3.0000
0.2182
testing/NTCIR/xhtml5/1/hep-th9801069/hep-th9801069_1_1.xhtml
𝐰0t-ν2𝐰0=0

Doc 75
0.2182
-12.0000
5.0000
0.2182
testing/NTCIR/xhtml5/9/1308.0942/1308.0942_1_106.xhtml
limnωyjvn-vnyj2=0

Doc 76
0.2182
-12.0000
5.0000
0.2182
testing/NTCIR/xhtml5/9/1312.3497/1312.3497_1_133.xhtml
limnωyjvn-vnyj2=0

Doc 77
0.2041
-4.0000
4.0000
0.2041
testing/NTCIR/xhtml5/9/1307.3108/1307.3108_1_110.xhtml
v0=1, vi=0

Doc 78
0.2041
-4.0000
3.0000
0.2041
testing/NTCIR/xhtml5/10/dg-ga9703008/dg-ga9703008_1_13.xhtml
DSabdt=0

Doc 79
0.2041
-4.0000
3.0000
0.2041
testing/NTCIR/xhtml5/4/gr-qc0505085/gr-qc0505085_1_26.xhtml
m0Du¯μdτ

Doc 80
0.2041
-5.0000
4.0000
0.2041
testing/NTCIR/xhtml5/6/0905.3523/0905.3523_1_33.xhtml
β3-β2-et=0

Doc 81
0.2041
-6.0000
4.0000
0.2041
testing/NTCIR/xhtml5/8/1207.0956/1207.0956_1_39.xhtml
v1C-u1B+c=0

Doc 82
0.2041
-8.0000
5.0000
0.2041
testing/NTCIR/xhtml5/11/math9909013/math9909013_1_78.xhtml
v(1)-v(23)+v(132)=0

Doc 83
0.1860
0.0000
4.0000
0.1860
testing/NTCIR/xhtml5/6/0901.4595/0901.4595_1_17.xhtml
yv=0

Doc 84
0.1860
0.0000
4.0000
0.1860
testing/NTCIR/xhtml5/2/math0108173/math0108173_1_264.xhtml
yv=0

Doc 85
0.1860
-1.0000
4.0000
0.1860
testing/NTCIR/xhtml5/8/1203.5987/1203.5987_1_69.xhtml
vg=0

Doc 86
0.1860
-1.0000
3.0000
0.1860
testing/NTCIR/xhtml5/2/hep-th0208106/hep-th0208106_1_14.xhtml
v¯a=0

Doc 87
0.1860
-1.0000
3.0000
0.1860
testing/NTCIR/xhtml5/7/1008.4785/1008.4785_1_21.xhtml
va+=0

Doc 88
0.1860
-1.0000
3.0000
0.1860
testing/NTCIR/xhtml5/7/1008.4785/1008.4785_1_29.xhtml
va+=0

Doc 89
0.1860
-1.0000
3.0000
0.1860
testing/NTCIR/xhtml5/3/math0502531/math0502531_1_144.xhtml
vai=0

Doc 90
0.1860
-2.0000
4.0000
0.1860
testing/NTCIR/xhtml5/3/math0502534/math0502534_1_42.xhtml
yikv=0

Doc 91
0.1860
-4.0000
3.0000
0.1860
testing/NTCIR/xhtml5/5/0705.4439/0705.4439_1_65.xhtml
(a0)tvi=0

Doc 92
0.1860
-5.0000
3.0000
0.1860
testing/NTCIR/xhtml5/9/1212.4030/1212.4030_1_129.xhtml
vt-I(0)v=0

Doc 93
0.1860
-5.0000
3.0000
0.1860
testing/NTCIR/xhtml5/6/0812.4672/0812.4672_1_66.xhtml
v2-c0v0=0

Doc 94
0.1860
-6.0000
1.0000
0.1860
testing/NTCIR/xhtml5/3/math0310061/math0310061_1_34.xhtml
(DfDg-t)v=0

Doc 95
0.1562
-5.0000
4.0000
0.1562
testing/NTCIR/xhtml5/5/0710.2012/0710.2012_1_48.xhtml
v11+V(u1)v=0

Doc 96
0.1562
-7.0000
5.0000
0.1562
testing/NTCIR/xhtml5/9/1302.4302/1302.4302_1_68.xhtml
β4-2β2-β-1=0

Doc 97
0.1455
-1.0000
4.0000
0.1455
testing/NTCIR/xhtml5/5/0706.3166/0706.3166_1_27.xhtml
Dudt

Doc 98
0.1455
-4.0000
4.0000
0.1455
testing/NTCIR/xhtml5/4/math0605682/math0605682_1_123.xhtml
βi(D)v=0

Doc 99
0.1455
-5.0000
4.0000
0.1455
testing/NTCIR/xhtml5/2/hep-th0010045/hep-th0010045_1_52.xhtml
v0=1,v3=0

Doc 100
0.1455
-6.0000
4.0000
0.1455
testing/NTCIR/xhtml5/3/math0305279/math0305279_1_62.xhtml
limt0β(t)v=0

Doc 101
0.1455
-6.0000
4.0000
0.1455
testing/NTCIR/xhtml5/3/math0305279/math0305279_1_64.xhtml
limt0β(t)v=0

Doc 102
0.1455
-6.0000
4.0000
0.1455
testing/NTCIR/xhtml5/5/0705.0708/0705.0708_1_36.xhtml
v0+v1+v2=0

Doc 103
0.1455
-6.0000
4.0000
0.1455
testing/NTCIR/xhtml5/11/chao-dyn9912009/chao-dyn9912009_1_33.xhtml
v++v-+v0=0

Doc 104
0.1455
-6.0000
4.0000
0.1455
testing/NTCIR/xhtml5/6/0901.2161/0901.2161_1_43.xhtml
v0=v5=v6=0

Doc 105
0.1455
-6.0000
4.0000
0.1455
testing/NTCIR/xhtml5/6/0901.2161/0901.2161_1_42.xhtml
v0=v5=v6=0

Doc 106
0.1304
-4.0000
2.0000
0.1304
testing/NTCIR/xhtml5/6/0902.3300/0902.3300_1_83.xhtml
f0=Du0k

Doc 107
0.1304
-6.0000
3.0000
0.1304
testing/NTCIR/xhtml5/9/1312.0990/1312.0990_1_13.xhtml
(u0)νv0ν=0

Doc 108
0.0879
-2.0000
3.0000
0.0879
testing/NTCIR/xhtml5/9/hep-th9304152/hep-th9304152_1_31.xhtml
u0t

Doc 109
0.0879
-2.0000
3.0000
0.0879
testing/NTCIR/xhtml5/4/math-ph0702022/math-ph0702022_1_19.xhtml
u0t

Doc 110
0.0879
-4.0000
3.0000
0.0879
testing/NTCIR/xhtml5/9/1309.6252/1309.6252_1_239.xhtml
u(0)t=

Doc 111
0.0879
-4.0000
3.0000
0.0879
testing/NTCIR/xhtml5/2/hep-th0110125/hep-th0110125_1_42.xhtml
u1t=0

Doc 112
0.0879
-4.0000
2.0000
0.0879
testing/NTCIR/xhtml5/2/math0208101/math0208101_1_30.xhtml
uaν=0