Returned 67 matches (100 formulae, 2303 docs)
    Lookup 528.626 ms, Re-ranking 77.388 ms
    Found 9137025 tuple postings, 4903234 formulae, 3430629 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
-1.0000
3.0000
C(Xi)M(B)s

0.8660
0.0000
3.0000
C(X)𝒦(H)
C(G)𝒦(H)
C(X)()
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
v2(G)C(X)

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

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

0.7317
0.0000
2.0000
C(Xi)B

0.7317
-1.0000
4.0000
C(X)C(Y)

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

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.6486
-1.0000
2.0000
p(X)(H)
C(X)(H)
𝕂(X)=K(H)
C(K)L(H)

0.6486
-2.0000
3.0000
KZ(X)Rep(H)

0.6486
-2.0000
2.0000
C0(X)B(H)

0.6486
-3.0000
2.0000
π:C(X)(H)
φ:C(X)L(H)
ϕ:C(X)(H)
0.6486
-4.0000
2.0000
ρ:C(X)(Hρ)
π:C(X)(Hπ)

0.6486
-4.0000
2.0000
π:C*(X)(H)

0.6486
-4.0000
2.0000
ψ:C0(X)(H)
π:C0(X)(H)
ϕ:C0(X)(H)
0.6486
-5.0000
4.0000
M(H)×C(GL(X))

0.5970
0.0000
2.0000
C(X)B

0.5970
-1.0000
2.0000
C0(X)B

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

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

0.5970
-2.0000
2.0000
I=C(X)B

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

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*(H)C*(H)

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

0.5970
-4.0000
2.0000
pM(C(X)B)

0.5085
-1.0000
4.0000
(H)(X)

0.5085
-2.0000
4.0000
Q(H)Q(X)
D(H)D(X)
𝒟(H)𝒟(X)
0.5085
-2.0000
3.0000
C(H)=L(H)

0.5085
-2.0000
2.0000
ψ(X)ψ(H)

0.4615
0.0000
3.0000
(HB)
𝒦(HB)
𝒮(HB)
(HB)
σ(HB)
μ(HB)
GradAlg(HB)

0.4615
0.0000
3.0000
L(𝒦(X)XB)

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
p2(HB)
p1(HB)
qx(HB)
𝒞2(HB)
NL(HB)

0.4615
-1.0000
3.0000
f(HBcl)
f(H^B)
Lat(HB)
0.4615
-1.0000
3.0000
Xg(HB)

0.4615
-1.0000
3.0000
Smc(HB)n
Smc(HB)9
GradAlg(HB)n
0.4615
-2.0000
4.0000
𝒜C*(X)

0.4615
-2.0000
4.0000
MkC(X)

0.4615
-2.0000
3.0000
K𝒦(HB)
B(HB)

0.3636
-3.0000
4.0000
dim(H)=dim(X)

0.3636
-3.0000
2.0000
Trop(X)Trop(H)

0.3636
-4.0000
3.0000
L(H)def(X)

0.3243
0.0000
3.0000
C(X)
L(H)

0.3243
0.0000
2.0000
L(X)

0.3243
0.0000
2.0000
C(H)

0.3243
-1.0000
3.0000
L(H)B

0.3243
-1.0000
3.0000
CB(X)
CH(X)

0.3243
-1.0000
2.0000
CB(H)
HB(X)

0.3243
-2.0000
3.0000
L(C(X))

0.3243
-2.0000
3.0000
XL(H)*

0.3243
-2.0000
3.0000
L(HAB)

0.3243
-2.0000
2.0000
HBk(X)

0.3243
-2.0000
2.0000
𝔽L(XB)

0.3243
-2.0000
2.0000
f(X(H))

0.3243
-3.0000
3.0000
K=CH(X)

0.3243
-3.0000
2.0000
(f(H))(X)

0.3243
-3.0000
2.0000
PBL(X)

0.3243
-3.0000
2.0000
C(GL(X))