Returned 44 matches (100 formulae, 83 docs)
    Lookup 1.928 ms, Re-ranking 36.005 ms
    Found 10595 tuple postings, 3062 formulae, 1868 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
= { 𝐩 N } .

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

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

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

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

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

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

0.7742
0.0000
2.0000
B = { x }
𝒟 = { d }
𝒫 = { all distributions }
i = { i }
G = { R }
I = { init }
H = { 0 }
A = { x }
𝒥 = { 1 }
N = { S }
Σ = { α }
Σ = { 1 }
H = { e }
K = { x }
I = { 5 }
T = { x }
X = { a }
P = { X }
𝔇 = { d }
W = { Y }
C = { i }
0.7742
-1.0000
2.0000
I * = { c }
X 0 = { * }
L 0 = { 0 }
0.7742
-1.0000
2.0000
X = { x i }
C = { C k }
X = { n i }
Q = { P 4 }
P = { P i }
A = { a j }
P = { P 1 }
S = { S k }
𝔘 = { U i }
0.7742
-1.0000
2.0000
S 2 = { 1 }
W = { 1 }
G 4 = { 1 }
G 2 = { 1 }
L = { }
S 0 = { 2 }
C x = { x }
Ω 1 = { ¬ }

0.7742
-1.0000
2.0000
0 B = { o }

0.7742
-1.0000
2.0000
X = { ¬ A }

0.7742
-2.0000
3.0000
2 = { } .

0.7742
-2.0000
2.0000
G = { ρ < 0 }
i = { 1 k }
O = { X Y }
A = { x ϕ }

0.7742
-2.0000
2.0000
S = { S i j }
B = { b i j }
T = { T i j }
0.7742
-2.0000
2.0000
a ¯ 0 = { a }

0.7742
-2.0000
2.0000
Ω 1 = { ¬ } ,

0.7742
-2.0000
2.0000
𝐮 = { u [ j ] }
𝐡 = { h [ i ] }
𝐬 = { s [ j ] }
0.7742
-2.0000
2.0000
C = { C k i }

0.7742
-2.0000
2.0000
S = { S k } k

0.7742
-2.0000
2.0000
G ( n ) = { e }
G ( α ) = { e }
G ( n ) = { 1 }
0.7742
-2.0000
2.0000
T k V = { 0 }

0.7742
-2.0000
2.0000
S 2 = { s 2 }

0.7742
-2.0000
2.0000
H N = { 0 }

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.6154
-1.0000
2.0000
V - { } .
x { x } .
{ 0 } .
0.6154
-2.0000
2.0000
M 1 × { 1 } .

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
{ } x X .

0.5455
-3.0000
2.0000
{ 0 } = { 0 }

0.5455
-3.0000
2.0000
sup n { a n } .

0.5455
-3.0000
2.0000
( exp ) = { 0 }
𝒱 ( x ) = { X }
FV ( S ) = { f }
𝒵 ( M ) = { 0 }
g ( ϵ ) = { ϵ }
J ( S ) = { 0 }
0.5455
-3.0000
2.0000
{ α ( f n ) } .

0.5455
-3.0000
2.0000
{ f ( t ) } .

0.3529
-3.0000
1.0000
F = Q { init }

0.3077
-3.0000
2.0000
F = { W }