Returned 67 matches (100 formulae, 439 docs)
    Lookup 41.345 ms, Re-ranking 56.947 ms
    Found 896334 tuple postings, 458769 formulae, 450064 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
0.0000
4.0000
L(N())d

1.0000
-1.0000
5.0000
lg(𝔾(B))d

1.0000
-1.0000
4.0000
dW(L(𝒜))ω

0.8451
-1.0000
4.0000
𝑒𝑞(L(G))4
𝑒𝑞(L(G))3

0.8451
-2.0000
5.0000
λs(G(B))1

0.8451
-2.0000
4.0000
χf(L(D))4
δ0(L(G))1.

0.8451
-2.0000
4.0000
D(Lk(G))2

0.6897
0.0000
4.0000
deg(L)d
ϰ(L)d

0.6897
0.0000
4.0000
λ(L(G))

0.6897
0.0000
3.0000
λ(B)ε

0.6897
0.0000
3.0000
L(X)d

0.6897
-1.0000
4.0000
(L2(B))
E(L(B)¯)
𝔹(L2(B))
(L2(B))

0.6897
-1.0000
4.0000
𝐁ε(L(B))

0.6897
-1.0000
4.0000
E(L(B))tor

0.6897
-1.0000
4.0000
λ1(L(G))

0.6897
-1.0000
4.0000
λ(L1(G))
λ(L1(A))

0.6897
-1.0000
3.0000
L𝐂(f)d
LK(f)d

0.6897
-1.0000
3.0000
λ(B)Cn

0.6897
-2.0000
4.0000
rank(L(Σ))18

0.6897
-2.0000
4.0000
λ(n)d(n)

0.6897
-2.0000
4.0000
λp(L1(G))
λΦ(L1(K))
λq(L1(G))
0.6897
-2.0000
4.0000
#E(L(B))tor

0.6897
-2.0000
4.0000
Ws(Lp(B))

0.6897
-2.0000
4.0000
𝔉(L2(BΛ))

0.6897
-2.0000
4.0000
λ(𝔪;I)d

0.6897
-2.0000
3.0000
ρ:=(B)d
deg(B)d

0.6897
-2.0000
3.0000
(B)d-1

0.6897
-2.0000
3.0000
\mathbbP(L(t))

0.6897
-2.0000
3.0000
B(B(L(g)))

0.6897
-3.0000
4.0000
λu(L*1(A))

0.6897
-3.0000
4.0000
Ws(Lp(B))

0.6897
-3.0000
4.0000
λ(G)d1-1

0.6897
-3.0000
4.0000
λ(Lt)C0,

0.6897
-3.0000
4.0000
A=(L2(B))

0.6897
-3.0000
4.0000
Wrs¯(Lp(B))

0.6897
-3.0000
4.0000
λ1(fp)dp

0.6897
-3.0000
4.0000
λn-1(L(G))

0.6897
-3.0000
4.0000
λ0(L)α/δ

0.6897
-3.0000
3.0000
cμω(B)d

0.6897
-3.0000
3.0000
(B1)d-w

0.6897
-3.0000
3.0000
λ(B)ε-ρ

0.6897
-3.0000
3.0000
L𝐂(f)d+1
L𝐂(g)d-1

0.6897
-3.0000
2.0000
Lmax(Bn)M,

0.6897
-3.0000
2.0000
Ln(t)λ(t)

0.6897
-6.0000
3.0000
λ3(G)κ3(L(G))

0.5333
0.0000
3.0000
(L(t))
(L(k))

0.5333
-1.0000
4.0000
λ(L)1

0.5333
-3.0000
3.0000
d(A)d(B)

0.5333
-3.0000
3.0000
λ(B¯)2ε

0.5333
-3.0000
3.0000
λ(A)λ(B)

0.5333
-3.0000
2.0000
ϕ(B)ϕ(L)

0.5333
-3.0000
2.0000
Lc(B0)1

0.5333
-3.0000
2.0000
L(3)R(B)

0.5333
-4.0000
4.0000
(LCxy)d

0.5333
-4.0000
4.0000
λ(LP)Cc

0.5333
-4.0000
3.0000
diamχ(B)dl.

0.5333
-4.0000
3.0000
rinf(g)d(L)

0.5333
-4.0000
3.0000
λ(B)λ(Bϵ)

0.3750
0.0000
3.0000
L(B)
λ(L)

0.3750
0.0000
2.0000
λ(B)

0.3750
-1.0000
3.0000
λ0(L)
Lλ(B)
LT(B)
Lφ(B)
L2(B)
λbare(L)
λ1(L)
Lp(B)
λp(L)
L1(B)
Lq(B)
λa(L)
0.3750
-1.0000
3.0000
L(Bk)
λ(L)

0.3750
-1.0000
3.0000
L1(B)
Lp(B)
L2(B)
L(B)
Ls(B)
Lq(B)
0.3750
-1.0000
2.0000
λ1(B)
λi(B)

0.2105
-1.0000
2.0000
L(L)

0.2105
-2.0000
2.0000
L(L2)

0.2105
-2.0000
2.0000
L2(L)
L1(L)