Returned 65 matches (100 formulae, 91 docs)
    Lookup 56.839 ms, Re-ranking 50.544 ms
    Found 1187457 tuple postings, 177431 formulae, 26675 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
-1.0000
3.0000
Ω 2 = { } .

1.0000
-2.0000
3.0000
B = { x ψ } .

1.0000
-3.0000
3.0000
f = { { f } } .

1.0000
-3.0000
3.0000
= { 𝐩 N } .

1.0000
-3.0000
3.0000
P = { n n  is prime } .

1.0000
-4.0000
3.0000
r k = { x / β k } .

1.0000
-5.0000
3.0000
𝒫 = { P θ | θ Θ } .
𝒫 = { f θ | θ Θ } .

1.0000
-5.0000
3.0000
n J n = { 0 } .

1.0000
-6.0000
3.0000
Hol x = { τ γ : γ  is a loop based at  x } .

1.0000
-6.0000
3.0000
W = { A G ; A V } .

1.0000
-6.0000
3.0000
- S = { - s | s S } .

1.0000
-7.0000
3.0000
V = { Re { v } v V } .

1.0000
-7.0000
3.0000
G x = { g x g G } .
G x = { g . x g G } .
g S = { g . s : s S } .
S g = { s . g : s S } .

1.0000
-7.0000
3.0000
S = { x V :  | x | = 1 } .
𝕋 = { z : | z | = 1 } .
D = { z 𝐂 : | z | < 1 } .
1.0000
-7.0000
3.0000
n ^ = { m | m n mod k } .

1.0000
-7.0000
3.0000
S = { x 𝐐 | x 2 < 2 } .

1.0000
-7.0000
3.0000
ρ M = { A M T ( A ) } .

1.0000
-7.0000
3.0000
τ S = { S U U τ } .

1.0000
-7.0000
3.0000
R = { x : x p 1 } .

1.0000
-8.0000
3.0000
= { e Δ e = 0 } .

1.0000
-8.0000
3.0000
B A = { x B |  x A } .

1.0000
-8.0000
3.0000
k = { u K : ( u ) = 0 } .
V = { w W : χ ( w ) = w } .

1.0000
-8.0000
3.0000
B = { x A : x f ( x ) } .

1.0000
-9.0000
3.0000
S / m = { u M |  u m S } .
m S = { u M |  m u S } .

0.7742
0.0000
3.0000
F = { r }
F = { HALT }

0.7742
0.0000
2.0000
A = { x }
N = { S }
I = { 5 }
P = { X }
i = { i }
I = { init }
Σ = { 1 }
𝔇 = { d }
C = { i }
T = { x }
𝒟 = { d }
K = { x }
X = { a }
G = { R }
H = { e }
H = { 0 }
W = { Y }
𝒫 = { all distributions }
B = { x }
𝒥 = { 1 }
Σ = { α }
0.7742
-1.0000
2.0000
X = { ¬ A }

0.7742
-1.0000
2.0000
0 B = { o }

0.7742
-2.0000
3.0000
2 = { } .

0.7742
-3.0000
3.0000
F = { A B C }

0.7742
-4.0000
3.0000
F = { ϕ i } i J

0.7742
-6.0000
3.0000
F = { m L |  m L }

0.7742
-7.0000
3.0000
{ m { n x } } = { m n x } .

0.7742
-8.0000
3.0000
[ g ] = { λ 2 g | λ > 0 } .

0.7742
-9.0000
3.0000
ρ ( L ) = { λ | λ  is a regular value of  L } .

0.6154
-1.0000
2.0000
x { x } .
{ 0 } .
V - { } .
0.6154
-2.0000
2.0000
M 1 × { 1 } .

0.6154
-3.0000
2.0000
I N { 1 } .

0.6154
-4.0000
2.0000
a a * , { a b } .

0.6154
-4.0000
2.0000
G 0 = G { 0 } .
* = - { 0 } .

0.6154
-5.0000
2.0000
S ( α ) = α { α } .

0.6154
-5.0000
2.0000
𝔤 = T e G { left-invariant vector fields on G } .

0.5455
0.0000
2.0000
{ y } .

0.5455
-1.0000
2.0000
{ 𝐑 r } .

0.5455
-2.0000
2.0000
k { τ p } .

0.5455
-3.0000
2.0000
𝒫 = 𝔐 { } .
F K { y } .

0.5455
-3.0000
2.0000
sup n { a n } .

0.5455
-3.0000
2.0000
{ α ( f n ) } .

0.5455
-3.0000
2.0000
{ } x X .

0.5455
-3.0000
2.0000
{ f ( t ) } .

0.5455
-4.0000
2.0000
{ G n } n .

0.5455
-4.0000
2.0000
P ( X ) - { } .

0.5455
-4.0000
2.0000
{ x ( u ) ;   u } .
{ x [ m ] ;   m } .

0.5455
-4.0000
2.0000
{ x : ϕ ( x ) } .

0.5455
-4.0000
2.0000
LMMSE = tr { C e } .

0.5455
-5.0000
2.0000
𝒢 = 𝒵 × 𝔊 { 𝒢 } .

0.5455
-5.0000
2.0000
{ x } = [ Ψ ] { q } .

0.5455
-5.0000
2.0000
{ V I : I  is an ideal of  R } .
{ v B B  is a flag in  } .

0.5455
-5.0000
2.0000
{ i t : t } .

0.5455
-6.0000
2.0000
{ z : z = 0 } .

0.5455
-6.0000
2.0000
{ N ( t ) : t 0 } .

0.5455
-6.0000
2.0000
{ x z : ϕ ( x ) } .

0.3077
-1.0000
1.0000
E { . }

0.3077
-3.0000
2.0000
F = { W }

0.3077
-4.0000
2.0000
F = γ F M .