Returned 74 matches (100 formulae, 109 docs)
    Lookup 710.282 ms, Re-ranking 345.606 ms
    Found 17044254 tuple postings, 297583 formulae, 313996 documents
[ formulas ] [ documents ] [ documents-by-formula ]

0.9258
0.0000
9.0000
uq=-vp.

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

0.9258
-1.0000
8.0000
-us=Jut.

0.9258
-1.0000
8.0000
Fz¯=AFz.

0.9258
-2.0000
8.0000
=-x=-Vx.

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

0.9258
-2.0000
8.0000
ρt=κ2ρx2.

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

0.8516
0.0000
8.0000
wq=qwI

0.8516
0.0000
7.0000
uη=ugη
Zt=λZθ
wp=pwI
uy=Jux
𝐀t=BH𝐀
Vε=σVs
0.8516
-1.0000
7.0000
fζ¯=μfζ

0.8516
-1.0000
7.0000
Ht=-Lt,
x=ks,

0.8516
-1.0000
7.0000
X^ρ=εXr

0.8516
-2.0000
8.0000
Lψ=tLψ˙

0.8516
-3.0000
8.0000
2Lt2=iLt,

0.8108
-1.0000
8.0000
ut=uux.

0.8108
-4.0000
10.0000
Lq1=q˙ifqi.

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
-1.0000
7.0000
ut=uux
ft=ϕfϕ

0.7361
-2.0000
7.0000
cgc=dgd
μωμ=βωβ

0.7031
0.0000
7.0000
t=Js
σ=Ly
θ=Rt
0.7031
-1.0000
7.0000
Ju=εu

0.7031
-2.0000
8.0000
q=1ϵQ

0.7031
-3.0000
7.0000
Aρ=1uρ

0.7031
-3.0000
7.0000
Kwi=iwi

0.6612
-4.0000
8.0000
rr=r~r~.

0.6612
-4.0000
8.0000
r~r~=rr.

0.5860
-1.0000
7.0000
s=tt
ζ=zz

0.5545
-7.0000
6.0000
pit+Hqi=0.

0.5545
-7.0000
5.0000
ρt=-pmρq

0.5545
-7.0000
4.0000
ω=EIθ=EL.

0.5545
-9.0000
6.0000
Dq˙i+Wqi=Qi

0.5545
-10.0000
6.0000
piqj-pjqi=0,

0.5545
-10.0000
6.0000
Δ~qiα=𝔖~qiα.

0.5545
-10.0000
6.0000
Fiqj-Fjqi=0,

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

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
4.0000
au=-ubu
ϕt=ϕ×ϕs
ut=6uux
0.4800
-6.0000
4.0000
ift=gr.
μXμ=XΛ.
-Mμ=Nϕ.
0.4800
-6.0000
4.0000
ω=HI=EI

0.4800
-7.0000
5.0000
L˙ϵ˙=Lq˙

0.4800
-7.0000
5.0000
Au+Aq=0,

0.4800
-7.0000
4.0000
Ut=UwUw.

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

0.4800
-8.0000
4.0000
-θpA=θq~A

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

0.4800
-8.0000
4.0000
η1q+η2p=0

0.4800
-8.0000
4.0000
C=TST=ET.

0.4800
-11.0000
4.0000
μμqj=qj.

0.4054
-4.0000
4.0000
JR=ψ
Jx=y

0.4054
-4.0000
4.0000
(y=y)

0.4054
-4.0000
4.0000
x=x
ϕ=ϕ

0.4054
-4.0000
4.0000
x=x1

0.4054
-4.0000
4.0000
t=t1

0.4054
-5.0000
4.0000
rr=0

0.4054
-6.0000
4.0000
Jx3=x4
Jx1=x2

0.4054
-6.0000
4.0000
Ω=3ss.

0.4054
-6.0000
4.0000
x=2xx2

0.4054
-6.0000
4.0000
Jv=-εv

0.4054
-6.0000
4.0000
kiXi=X

0.4054
-6.0000
4.0000
X=x=x

0.4054
-6.0000
3.0000
Lq,Lq˙

0.4054
-7.0000
4.0000
Kixi=x0

0.4054
-7.0000
4.0000
φX=y=y

0.4054
-7.0000
4.0000
u1+u2=e

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

0.4054
-9.0000
4.0000
η=piqi.

0.4054
-9.0000
4.0000
Ay=zlnfy.

0.3582
-4.0000
5.0000
qi,t

0.3306
-5.0000
4.0000
rr=