Returned 25 matches (100 formulae, 203 docs)
    Lookup 3.011 ms, Re-ranking 61.004 ms
    Found 7900 tuple postings, 1649 formulae, 1091 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
-4.0000
5.0000
h i : X { - 1 , + 1 }

0.8451
0.0000
4.0000
ϕ : X { 0 }

0.8451
-2.0000
4.0000
h : X [ 0 , 1 ]

0.6897
-1.0000
3.0000
F t : X Y
f s : X Y

0.6897
-2.0000
4.0000
h C : X *

0.6897
-3.0000
3.0000
{ f α : X α Y }

0.6897
-3.0000
3.0000
{ f α : X Y α }

0.6897
-5.0000
3.0000
χ A : X { + }

0.5333
0.0000
3.0000
X { 1 }

0.5333
-1.0000
4.0000
h : X Y

0.5333
-1.0000
3.0000
k : X Z
f : X N
g : X
f : X S
u : X 𝐑
ϕ : X M
π : X Y
F : X X
r : X A
u : X Y
z : X
g : X I
α : X X
A : X Y
φ : X F
i : X Y
g : X Y
s : X X
f : X X
F : X
ϕ : X Y
v : X D
Φ : X S
f : X M
i : X M
S : X D
φ : X X
ι : X ω
E : X X
k : X Y
f : X 𝔽
T : X X
Φ : X X
g : X
f : X Z
σ : X X
f : X Y
V : X
u : X I
U : X S
ϕ : X
𝝃 : X Ξ
f : X
ρ : X Y
i : X K
f : X T
Φ : X
φ : X Y
ζ : X
A : X X
T : X Y
S : X W
E : X
I : X X
f : X V
c : X Y
g : X Q
R : X Y
μ : X
s : X Y
f : X
Φ : X 𝐑

0.5333
-2.0000
4.0000
h : X 𝔽

0.5333
-2.0000
3.0000
f : X k
j : X 𝐏 n
f : X +
J : X X ′′
π : X X ¯
f : X d
0.5333
-2.0000
3.0000
p : X ~ X
σ : X ~ X
π : X ~ X
0.5333
-2.0000
3.0000
f : X S ,
μ : X .
f : X T Y
f : X Y ,

0.5333
-2.0000
3.0000
F 0 : X Y

0.5333
-2.0000
3.0000
i d : X X

0.5333
-2.0000
3.0000
f : X S R

0.5333
-3.0000
4.0000
g , h : X

0.5333
-3.0000
4.0000
h : X β 𝔽

0.5333
-3.0000
4.0000
h : X A B

0.5333
-5.0000
3.0000
f : X { ± }
f : X { + }
f : X { - }
0.5333
-7.0000
3.0000
f : X * { + }

0.3750
-1.0000
2.0000
{ scalar fields on  U }
{ vector fields on  U }

0.2105
-2.0000
2.0000
{ h i }