Returned 43 matches (100 formulae, 386 docs)
    Lookup 699.897 ms, Re-ranking 100.972 ms
    Found 18146125 tuple postings, 9812525 formulae, 4400325 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
0.0000
8.0000
(p1,,pd)

1.0000
-2.0000
7.0000
η:=(d1,,dr)

1.0000
-3.0000
8.0000
(p1,,pr)/

1.0000
-3.0000
8.0000
K(p1*,,pr*)

1.0000
-4.0000
9.0000
p2(p1,,pn),

1.0000
-5.0000
8.0000
<1~|=(p1,,pN)

1.0000
-7.0000
9.0000
[K(p1,,pt):K]=2t

0.6829
-2.0000
5.0000
(1,,nmax)

0.6829
-3.0000
6.0000
(1,,nmax):

0.5769
-7.0000
6.0000
E(2a1,,2an)

0.5769
-11.0000
6.0000
(α+ϵ)E(2a1,,2an)

0.5106
-7.0000
6.0000
K:=(p1,p2,)

0.5106
-8.0000
6.0000
Kα:=F(p1,p2,)

0.3636
-9.0000
4.0000
(i,p1,,pm)
(i,p1,,pr)

0.3636
-13.0000
4.0000
L=[-1,p1,,pm]

0.3636
-14.0000
4.0000
zDn:=F(α,p1,,pn)

0.3636
-18.0000
4.0000
=Fn(x1,,xn,p1,,pn).

0.1739
-4.0000
4.0000
(pn,,p1)
(p1,,pn)

0.1739
-4.0000
3.0000
[p1,,pn]
{p1,,pn}

0.1739
-4.0000
3.0000
(p1,,pn)

0.1739
-5.0000
4.0000
B(pn,,p1)
𝒱(p1,,pn)

0.1739
-5.0000
4.0000
(p1,,pn2)

0.1739
-5.0000
3.0000
V(p1,,pn)
W(p1,,pn)
𝒱(p1,,pn)
P(p1,,pn)
i(p1,,pn)
E(p1,,pn)
Q(p1,,pn)
φ(p1,,pn)
𝒮(p1,,pn)
max(p1,,pn)
min(p1,,pn)
p(p1,,pn)
𝒜(p1,,pn)
Φ(p1,,pn)
c(p1,,pn)
b(p1,,pn)
h(p1,,pn)
(p1,,pn)
T(p1,,pn)
diag(p1,,pn)
ρ(p1,,pn)
M(p1,,pn)
Δ(p1,,pn)
𝒫(p1,,pn)
𝐩(p1,,pn)
χ(p1,,pn)
f(p1,,pn)
0.1739
-5.0000
3.0000
i(p1,,pn)
term(p1,,pn)

0.1739
-6.0000
4.0000
p=(pn,,p1)
𝜶=(p1,,pn)
P=(p1,,pn)
𝐩=(p1,,pn)
𝛂=(p1,,pn)
p=(p1,,pn)
0.1739
-6.0000
4.0000
BXXZ(pn,,p1)
F^(p1,,pn)

0.1739
-6.0000
4.0000
(pn,,p1)=ϕ
(p1,,pn)K

0.1739
-6.0000
4.0000
Fn(p1,,pn)

0.1739
-6.0000
3.0000
𝐩=(p1,,pn)
p=(p1,,pn)
I=(p1,,pn)
𝒑:=(p1,,pn)
𝒑=(p1,,pn)
p<(p1,,pn)
𝐩:=(p1,,pn)
P=(p1,,pn)
π=(p1,,pn)
Σ=(p1,,pn)
q<(p1,,pn)

0.1739
-6.0000
3.0000
Σ-{p1,,pn}
P={p1,,pn}
q{p1,,pn}
0.1739
-6.0000
3.0000
(Hp1,,Hpn)

0.1739
-7.0000
4.0000
Γ(n)(p1, , pn)

0.1739
-7.0000
4.0000
p=(p1,,pn)T

0.1739
-7.0000
4.0000
B0(pn,,p1)

0.1739
-7.0000
4.0000
(C,(p1,,pn))

0.1739
-7.0000
4.0000
Q=diag(p1,,pn)
P=diag(p1,,pn)

0.1739
-7.0000
4.0000
p=(p1,,pn)t

0.1739
-7.0000
4.0000
p~=(p1,,pn)

0.1622
-7.0000
2.0000
(p;p1,,pn)
(k|p1,,pn)
(λ;p1,,pn)
(Σ;p1,,pn)
(2;p1,,pn)
(C;p1,,pn)
(q;p1,,pn)

0.1622
-9.0000
3.0000
(x(p1),,x(pn))

0.1622
-10.0000
3.0000
=(ϕ(p1),,ϕ(pn))

0.1429
-7.0000
2.0000
(p1,..,pn)

0.1429
-10.0000
2.0000
p=(p1,p2,pn)