Returned 90 matches (100 formulae, 108 docs)
    Lookup 8130.090 ms, Re-ranking 359.972 ms
    Found 120798183 tuple postings, 3456274 formulae, 2364419 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
-2.0000
9.0000
iPpi=-Px.

0.9258
0.0000
9.0000
uq=-vp.

0.9258
0.0000
8.0000
Ht=-Lt.
𝒮t=-𝒯t.
ut=ϵvt.
ϕy=iϕx.

0.9258
-1.0000
8.0000
Fz¯=AFz.

0.9258
-1.0000
8.0000
-us=Jut.

0.9258
-2.0000
8.0000
=-x=-Vx.

0.9258
-2.0000
8.0000
H¯t=-L¯t.

0.9258
-3.0000
8.0000
sxit=αist.

0.9258
-3.0000
8.0000
S3t=S3L3t.
S2t=S2L2t.

0.8854
-5.0000
9.0000
-V0qi-λV1qi.

0.8516
0.0000
8.0000
wq=qwI

0.8516
-1.0000
7.0000
Ht=-Lt,

0.8516
-2.0000
8.0000
Lψ=tLψ˙

0.8108
-1.0000
8.0000
ut=uux.

0.8108
-4.0000
10.0000
Lq1=q˙ifqi.

0.8108
-4.0000
8.0000
𝐇=-L𝐁  𝐃=L𝐄.

0.8108
-5.0000
8.0000
Di=xi+pqxi.

0.8108
-6.0000
9.0000
φILφI=φ¯ILφ¯I.

0.7774
-1.0000
8.0000
z=a2r.

0.7774
-4.0000
9.0000
qiqi=ti

0.7361
-6.0000
6.0000
Θt-Aiqi=0,

0.6902
-2.0000
6.0000
dHdt=-Lt.

0.6612
-4.0000
8.0000
r~r~=rr.

0.6612
-4.0000
8.0000
rr=r~r~.

0.6612
-6.0000
8.0000
𝐯=q+ρ˙ρp.

0.5860
-5.0000
8.0000
Lqi=qiqi

0.5860
-5.0000
7.0000
tt-qaqa.

0.5860
-10.0000
7.0000
ddt=t+q˙iqi.

0.5545
0.0000
7.0000
Lqi=0

0.5545
-1.0000
5.0000
X=-FL.
𝐇=-L𝐁.

0.5545
-3.0000
6.0000
Gqi=Gqi.

0.5545
-4.0000
5.0000
f˙=uifqi.

0.5545
-6.0000
7.0000
pi=Lq˙i=q˙.

0.5545
-6.0000
5.0000
ei=12πFqi.

0.5545
-6.0000
5.0000
qx=qτi=0

0.5545
-6.0000
5.0000
Spi=Spj.

0.5545
-7.0000
6.0000
pit+Hqi=0.

0.5545
-7.0000
4.0000
ω=EIθ=EL.

0.5545
-11.0000
5.0000
pi=Φqi, H=-Φt.

0.5545
-13.0000
6.0000
Hqi=0,    Hpi=pim.

0.5373
-7.0000
5.0000
ddtL𝐯=L𝐫.

0.4800
-1.0000
6.0000
Lq0=0

0.4800
-1.0000
4.0000
-Hqi.

0.4800
-2.0000
6.0000
χ:=Lq=0

0.4800
-2.0000
5.0000
 -Hq=-q

0.4800
-3.0000
6.0000
2Lq˙2=M.

0.4800
-3.0000
6.0000
Lq˙i=q˙i,

0.4800
-3.0000
5.0000
𝐓=viqi.

0.4800
-3.0000
4.0000
ei=fqi

0.4800
-3.0000
4.0000
Qi=-𝒲qi

0.4800
-3.0000
4.0000
pα=Lq˙α.
pi=Lq˙i.

0.4800
-4.0000
5.0000
Γμ=γμq˙i.

0.4800
-4.0000
4.0000
piLq˙i.
πi=Lqi¨.

0.4800
-5.0000
5.0000
LΦ=KΦ.

0.4800
-5.0000
4.0000
Ct=φt.
φψ=Gψ.
ut=ux.
0.4800
-6.0000
6.0000
qiqi=ti

0.4800
-6.0000
5.0000
L˙ϵ=Lq,

0.4800
-6.0000
5.0000
Δ=xiξi.

0.4800
-6.0000
4.0000
μXμ=XΛ.

0.4800
-7.0000
5.0000
Au+Aq=0,

0.4800
-7.0000
4.0000
Ut=UwUw.

0.4800
-7.0000
4.0000
dpidt=Lqi.

0.4800
-7.0000
4.0000
Pi,N=Lqi(N).

0.4800
-8.0000
5.0000
LX=L0X    on C.

0.4800
-8.0000
4.0000
C=TST=ET.

0.4800
-8.0000
4.0000
uy=J(u)ux.
ft=A(x)fx.

0.4800
-8.0000
4.0000
=ϕt=-vϕx.

0.4800
-9.0000
6.0000
ddtLq˙=Lq

0.4800
-9.0000
5.0000
fiq¨j=fjq¨i.

0.4800
-9.0000
4.0000
τ(Lq˙)=Lq.

0.4800
-9.0000
4.0000
p=Kq,  Q=KP.

0.4800
-10.0000
4.0000
2SE=SMpi,0.

0.4800
-10.0000
4.0000
=2AL4B-L4A.

0.4800
-10.0000
4.0000
=fiq¨j-fjq¨i.

0.4800
-11.0000
6.0000
Γ(Lui)-Lqi=0,

0.4054
-5.0000
4.0000
pi=-iqi.

0.4054
-6.0000
4.0000
Ω=3ss.

0.4054
-6.0000
3.0000
Lq,Lq˙

0.4054
-8.0000
4.0000
λ¯xi=vi.

0.4054
-8.0000
4.0000
Λ=qipi.

0.4054
-8.0000
4.0000
t=aiξi.

0.4054
-9.0000
4.0000
η=piqi.

0.4054
-9.0000
4.0000
D~=ϵϵ=lnϵ.

0.4054
-9.0000
4.0000
σλλ=-λλ.

0.4054
-9.0000
4.0000
Ay=zlnfy.

0.4054
-10.0000
4.0000
q=q,p=p.

0.4054
-13.0000
4.0000
π=i=1rpiqi.

0.3582
-4.0000
5.0000
Δ=q˙Aq˙A.

0.3582
-4.0000
5.0000
qi,t

0.3582
-14.0000
5.0000
d=dqiqi+dpipi.