Returned 80 matches (100 formulae, 433 docs)
    Lookup 335.970 ms, Re-ranking 206.708 ms
    Found 4409664 tuple postings, 3542512 formulae, 2053529 documents
[ formulas ] [ documents ] [ documents-by-formula ]

0.3925
-3.0000
5.0000
ρ(Ea,b(ξ),x)

0.3925
-4.0000
5.0000
Si=CatRi(Si-1)

0.3925
-8.0000
6.0000
ti=Rank(Si)-Rank(Si-1),

0.3553
-1.0000
4.0000
Pd=E(μ(S))

0.3315
0.0000
5.0000
CH(Si-1)

0.3315
-1.0000
5.0000
i(Si-1)
Vi(Si-1)

0.3315
-1.0000
5.0000
ω(Si-1)1

0.3315
-1.0000
5.0000
𝖲𝗉𝖺𝗇(Si-1).

0.3315
-1.0000
5.0000
ω(Si-11)

0.3315
-2.0000
5.0000
(EK(𝖷),K)

0.3315
-2.0000
5.0000
LOT(Si-1)

0.3315
-3.0000
5.0000
(EK(𝖷),K)

0.3315
-4.0000
5.0000
(EK(),DK())

0.3315
-4.0000
5.0000
Rank(Si-1)k-2

0.3315
-4.0000
5.0000
e-σ(Si-1+μ)

0.3315
-5.0000
5.0000
Rank(Si-1Ti)=k
Rank(Si-1Ti)<k

0.3315
-5.0000
4.0000
V(Pi-1Ci-1)

0.3315
-5.0000
3.0000
iEi-1(PA),
=iEi-1(PA),

0.3315
-8.0000
5.0000
HomC(E(Sj),E(Si))=0

0.3315
-10.0000
4.0000
(Ei-1U(λ),Ei+1L(λ))

0.3315
-11.0000
4.0000
Pi=Dπ[Ci+f(ri-1)]

0.2927
-2.0000
2.0000
Pi=exp(Si)

0.2927
-5.0000
2.0000
P^S¯V=α-1(S¯V)

0.2927
-8.0000
2.0000
Pi=Dπ(CiCi-1)

0.2927
-8.0000
1.0000
Ci=Eπ(PiCi-1)

0.2703
-1.0000
5.0000
(Si-1))

0.2703
-1.0000
5.0000
(E(S), )

0.2703
-2.0000
5.0000
(Si-1+1)

0.2703
-5.0000
5.0000
e-(Si-1+μ)σ

0.2703
-5.0000
4.0000
Ad(Si)(Fi-1)

0.2703
-6.0000
5.0000
E2(E1(x1),x2)

0.2703
-6.0000
3.0000
return EK(PmCm-1)

0.2703
-6.0000
3.0000
Pi=[Pi-1,pi]

0.2703
-7.0000
4.0000
M[k/2i-1](Si),

0.2703
-9.0000
4.0000
CiEK1(PiCi-1)

0.2703
-9.0000
3.0000
return EK1(PmCm-1K)

0.2290
-3.0000
2.0000
PS=Π-1(S)

0.2290
-4.0000
2.0000
P0=π-1(S0)

0.2087
0.0000
4.0000
Si-1

0.2087
0.0000
4.0000
E(Si)

0.2087
0.0000
4.0000
(Si),

0.2087
0.0000
3.0000
Pi-1
Ci-1

0.2087
-1.0000
4.0000
ΓSi-1

0.2087
-1.0000
4.0000
Si-1

0.2087
-1.0000
4.0000
E(Si)*

0.2087
-1.0000
4.0000
S~i-1

0.2087
-1.0000
3.0000
Ci-1′′
Ci-12

0.2087
-1.0000
3.0000
Ci-1.
Ci-1,
Pi-1,
0.2087
-1.0000
3.0000
𝒜Pi-1

0.2087
-3.0000
3.0000
Si=Pi-1
Pi=Pi-1

0.2087
-5.0000
4.0000
CiSi-1

0.2087
-5.0000
4.0000
(Si/Si-1)*

0.2087
-5.0000
3.0000
G[CiPi-1]

0.2087
-5.0000
3.0000
Ci-1-Pi-1
Pi-1=Qi-1

0.2087
-5.0000
3.0000
Pδi-1=LR

0.2087
-5.0000
3.0000
τPi=γPi-1

0.2087
-6.0000
4.0000
(S1Si-1)

0.2087
-6.0000
4.0000
ϕ-1((Si)i,X)

0.2087
-6.0000
3.0000
Pi=Pi-1{v}

0.2087
-6.0000
3.0000
Pi=Ji-1Ji

0.2087
-7.0000
4.0000
c(Sin-Si-1n)

0.2087
-7.0000
3.0000
Si-2<Pi2-1

0.2087
-7.0000
3.0000
Pi=[Pi,Pi-1]

0.2087
-7.0000
3.0000
ΔPi=Pi-Pi-1
Pi=ci-ci-1

0.2087
-7.0000
3.0000
P0=(h-1(1),0)

0.2087
-14.0000
3.0000
Pi=(WCi)C1Ci-1

0.1633
-6.0000
1.0000
Pik𝒦i-1(S)

0.1463
-2.0000
3.0000
Cii-1
P2i-1

0.1463
-2.0000
2.0000
PP=-1
PC=-1
P1=-1
PM=-1
Pn=-1
Pr=-1
P-=-1

0.1463
-2.0000
2.0000
P-1=0
P-1=
P-1=1
P-1=I

0.1463
-2.0000
2.0000
P-1disc=

0.1463
-5.0000
3.0000
Pi=Pτi-1

0.1463
-5.0000
2.0000
PB=(-1)r,

0.1463
-6.0000
3.0000
Pj=Pj(i-1)

0.1463
-6.0000
3.0000
P0(i-1)=P0

0.1463
-6.0000
2.0000
Ps=(STS)-1

0.1463
-7.0000
3.0000
P¯j=P¯j(i-1)

0.1463
-7.0000
3.0000
P¯0(i-1)=P¯0

0.1463
-7.0000
2.0000
PB=(-1)+r,

0.0816
-3.0000
2.0000
P=P-1