Returned 75 matches (100 formulae, 165 docs)
    Lookup 229.641 ms, Re-ranking 85.522 ms
    Found 983651 tuple postings, 574506 formulae, 527877 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
-3.0000
5.0000
vy(Hy)C()
ux(Hx)C(𝔾)

0.8660
0.0000
3.0000
C(X)𝒦(H)
C(X)()
C(G)𝒦(H)
0.8660
-1.0000
5.0000
2(G)C(X)

0.8660
-2.0000
5.0000
(0(H)C(𝔾))

0.8660
-2.0000
3.0000
C0(Y)L2(H)

0.8660
-3.0000
5.0000
M(K(H)C0(G))

0.8660
-3.0000
5.0000
M(K(H)C*(G))

0.8660
-3.0000
5.0000
v2(G)C(X)

0.8660
-3.0000
3.0000
C0(Y)L2(H)

0.8660
-3.0000
3.0000
B=C(X)¯B(H)

0.8660
-4.0000
5.0000
UM(𝒦(H)C(𝔾))

0.8660
-4.0000
5.0000
YΓ(Cliff(E))C(X)

0.8660
-4.0000
4.0000
C(H)𝒦(L2(μ))

0.8660
-4.0000
4.0000
K(L2(M))C*(H)

0.8660
-4.0000
3.0000
C0(X)𝒦(L2(Z))

0.7317
0.0000
2.0000
C(Xj)𝒦
C(Xi)𝒦
C(Xi)B
0.7317
-1.0000
4.0000
C(X)C(Y)
C(m)C(n)
C(M)C(Y)
0.7317
-1.0000
2.0000
C(Xi)K

0.7317
-1.0000
2.0000
C(Xj)Fj

0.7317
-2.0000
4.0000
C(X)^C(Y)

0.7317
-2.0000
4.0000
C(X)C(𝕋).

0.7317
-2.0000
4.0000
C(X)C*(G)

0.7317
-3.0000
5.0000
Cc(T)Cc(X)

0.7317
-3.0000
4.0000
C0(X)C*(Γ)

0.7317
-4.0000
4.0000
C*(𝒜H)C*(H)

0.7317
-4.0000
4.0000
C*(G)maxC*(H)

0.7317
-4.0000
4.0000
C(X)Cc(n)

0.7317
-5.0000
5.0000
𝔄-1(X0)C0(X)

0.7317
-5.0000
4.0000
C(X~)vC(π)

0.7317
-5.0000
4.0000
C0(X)C0(Y)

0.6486
-1.0000
2.0000
C(K)L(H)

0.6486
-3.0000
2.0000
φ:C(X)L(H)

0.6486
-5.0000
4.0000
M(H)×C(GL(X))

0.5970
0.0000
4.0000
K(H)C

0.5970
0.0000
3.0000
K(X)C

0.5970
0.0000
2.0000
C(X)K
C(X)
C(X)𝒜
C(X)B
C(X)A
C(X)𝒦
0.5970
-1.0000
4.0000
L2(H)

0.5970
-1.0000
3.0000
KG(X)C
KΓ(X)C

0.5970
-1.0000
3.0000
Lp(X)E
Lp(X)

0.5970
-1.0000
3.0000
hg(X)C

0.5970
-1.0000
2.0000
C0(X)B
C0(X)𝒜
C0(X)A
C0(X)𝒦

0.5970
-1.0000
2.0000
C(X)𝒜¯
C(X)Aω

0.5970
-1.0000
2.0000
C(X)Ml
C(X)Mk

0.5970
-1.0000
2.0000
C(X1)𝒦
C(X2)𝒦

0.5970
-1.0000
2.0000
C(X)𝖲.

0.5970
-2.0000
5.0000
C(X)C(X)

0.5970
-2.0000
4.0000
C()C()
C(𝔾)C(𝔾)

0.5970
-2.0000
4.0000
(𝒦(H)C)

0.5970
-2.0000
3.0000
KΓi(X)C
KGi(X)C

0.5970
-2.0000
3.0000
Lq(X)E

0.5970
-2.0000
3.0000
L2(X)Wx

0.5970
-2.0000
2.0000
I=C(X)B
I=C(X)K

0.5970
-2.0000
2.0000
C(X~)𝐙𝐂

0.5970
-2.0000
2.0000
M(C(X)B)

0.5970
-2.0000
2.0000
C(X)𝒪w

0.5970
-4.0000
5.0000
dC(X)C(X)

0.5970
-4.0000
5.0000
C(X1)C(X2)

0.5970
-4.0000
5.0000
C(X)C(X)

0.5970
-4.0000
5.0000
C*(H)C*(H)

0.5970
-5.0000
5.0000
C*(X)C*(X)

0.5970
-6.0000
5.0000
gCc(X)Cc(X)

0.5085
-2.0000
3.0000
C(H)=L(H)

0.4615
-1.0000
4.0000
𝒜C(X)
C(X)
KC(X)
0.4615
-1.0000
4.0000
LB(HB)

0.4615
-1.0000
3.0000
C(G)C

0.4615
-2.0000
4.0000
MkC(X)

0.4615
-2.0000
4.0000
𝒜C*(X)

0.4615
-2.0000
4.0000
B(H)C~

0.4615
-2.0000
3.0000
L(X)1

0.4615
-2.0000
3.0000
C(M)C

0.4615
-3.0000
4.0000
C(2)C(2)

0.3243
-2.0000
3.0000
L(C(X))

0.3243
-3.0000
2.0000
C(GL(X))

0.3243
-4.0000
3.0000
L2(Hˇ2(X))

0.3243
-4.0000
2.0000
EC(GL(X))