Returned 34 matches (100 formulae, 155 docs)
    Lookup 4.052 ms, Re-ranking 50.590 ms
    Found 98223 tuple postings, 68492 formulae, 15162 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
0.0000
8.0000
L ( H B ) C ( X )

1.0000
-8.0000
8.0000
Ψ : L ( H B ) C ( X ) L ( H A ) .

0.8660
0.0000
3.0000
C ( X ) L ( H )

0.7317
-3.0000
4.0000
C * ( X ) C * ( Y )

0.6486
-3.0000
2.0000
π : C ( X ) L ( K )

0.6486
-4.0000
2.0000
Φ E : C ( X ) L ( H )

0.6486
-5.0000
5.0000
σ L ( H A ) L ( H B )

0.5970
-2.0000
4.0000
C ( G ) C ( G )

0.5085
-6.0000
5.0000
Ψ : L ( H B ) L ( H A )

0.5085
-6.0000
4.0000
Φ : L ( H A ) L ( H B )

0.4615
0.0000
3.0000
L ( H A )

0.4615
-1.0000
4.0000
K C ( X )

0.4615
-2.0000
1.0000
S = θ ( X H )

0.4615
-5.0000
2.0000
F ( X ) holim F ( H n )

0.3636
-3.0000
3.0000
G = H C G ( X )

0.3636
-3.0000
1.0000
Γ ( L ( H ) ) H

0.3243
0.0000
3.0000
C ( X )
L ( H )

0.3243
0.0000
2.0000
l ( X )
Pr ( H )
U ( X )
supp ( X )
F ( X )
d ( H )
χ ( X )
f ( H )
q ( X )
Pic ( X )
𝒮 ( X )
M ( H )
k ( X )
J ( X )
ln ( X )
o ( H )
Φ ( H )
K ( X )
𝒪 ( X )
f ( X )
Homeo ( X )
H ( X )
T ( X )
𝒩 ( X )
p ( X )
E ( X )
𝒫 ( X )
δ ( H )
d ( X )
A ( X )
e ( X )
( X )
P ( X )
P ( H )
α ( X )
τ ( H )
Q ( X )
α ( H )
R ( X )
h ( X )
ρ ( X )
( X )
Free ( X )
T ( H )
χ ( H )
0.3243
0.0000
2.0000
L ( X )

0.3243
-1.0000
3.0000
C 0 ( X )
C ( X )
C n ( X )
L * ( H )
C * ( X )

0.3243
-1.0000
3.0000
C ( X )

0.3243
-1.0000
2.0000
L p ( X )
L φ ( X )
L ( X )
0.3243
-1.0000
2.0000
L 2 ( X )

0.3243
-2.0000
3.0000
Y = C ( X )
ρ L ( H )

0.3243
-2.0000
3.0000
C * ( X ~ )

0.3243
-2.0000
2.0000
Y = L ( X )

0.3243
-3.0000
3.0000
E / C E ( X )
X C n ( X )
σ C p ( X )
0.3243
-3.0000
3.0000
L 1 , ( H )

0.3243
-3.0000
2.0000
E = L ( X )
ψ L 2 ( X )

0.3243
-4.0000
3.0000
α : H L ( H )

0.3243
-4.0000
3.0000
H ^ S ( H ^ B )

0.1818
0.0000
2.0000
( X )
( H )

0.1818
0.0000
2.0000
H B

0.1818
-1.0000
2.0000
Aim ( X )
var ( X )
Aim ( X )
rev ( X )
𝑙𝑖𝑠𝑡 ( X )
E ( X )
esssup ( X )
Aut ( X )
Pic ( X )
Div ( X )
Met ( X )