Returned 50 matches (100 formulae, 307 docs)
    Lookup 37.035 ms, Re-ranking 65.766 ms
    Found 500320 tuple postings, 376151 formulae, 409336 documents
[ formulas ] [ documents ] [ documents-by-formula ]

0.6176
-5.0000
4.0000
A(3/2,b)>2/3

0.5217
-1.0000
5.0000
W(2,8)>896
W(2,6)>160
W(2,8)>1295
0.5217
-1.0000
4.0000
p(2,2)>0

0.4255
0.0000
5.0000
W(2,k)

0.4255
0.0000
4.0000
W(2,δ)
W(2,s)
W(2,t)
W(2,T)

0.4255
0.0000
4.0000
SL(2,k)
A(2,k)
𝐕(2,k)
GL(2,k)
T(2,k)
PGL(2,k)
S(2,k)
(2,k)
g(2,k)
B(2,k)
𝒮(2,k)
J(2,k)
0.4255
-1.0000
4.0000
VT(2,k)
GL(2,k)
𝔰𝔩(2,k)
𝔤𝔩(2,k)
SO(2,k)
𝔰𝔬(2,k)
sl(2,k)
SL(2,k)

0.4255
-1.0000
4.0000
SL(2,k)

0.4255
-1.0000
4.0000
GL(2,kF)
U(2,kE)
SL(2,kF)
GL(2,kv)

0.4255
-1.0000
4.0000
{m(2,k)}

0.4255
-1.0000
4.0000
S(2n,k)

0.4255
-1.0000
4.0000
F1(2,k)
g1(2,k)
F2(2,k)
0.4255
-1.0000
4.0000
T(2,k),

0.4255
-1.0000
3.0000
M(2k,C)
DNR(2k,f)

0.4255
-2.0000
5.0000
W=W(2,k)

0.4255
-2.0000
4.0000
G=G(2,k)
Aut𝔰𝔩(2,k)

0.4255
-2.0000
4.0000
T(2,k-1)

0.4255
-2.0000
4.0000
{n(2,k)}k

0.4255
-6.0000
4.0000
L/ku𝔤𝔩(2,k)

0.4255
-16.0000
4.0000
ν2(S(2n,k))=ν2(2k-1/k!).

0.3614
-1.0000
4.0000
(2,k)=1

0.3288
0.0000
4.0000
(2,k)

0.3288
0.0000
4.0000
2k/k

0.3288
-1.0000
4.0000
W(2,0)
W(2,4)
W(2,6)
W(2,8)
W(2,23)
W(2,10)
W(2,13)
W(2,2)
W(2,3)
W(2,123)
W(2,1)

0.3288
-1.0000
4.0000
𝕐(2,k)
S(2,k)

0.3288
-1.0000
4.0000
SL(2,k)

0.3288
-1.0000
4.0000
N(2,k)
B(2,k)

0.3288
-1.0000
4.0000
t>2/k
α>2/k
β>2/k
s>2/k

0.3288
-1.0000
4.0000
2k/k2

0.3288
-1.0000
4.0000
(2,kd)

0.3288
-1.0000
4.0000
(2,k)×

0.3288
-1.0000
4.0000
(2k,k)

0.3288
-1.0000
3.0000
(2k,ε)
(2k,m)

0.3288
-2.0000
4.0000
|(2,3)>
|(2,1)>
|(2,2)>
0.3288
-2.0000
4.0000
GL(2,k𝔭)
GL(2,kv)

0.3288
-2.0000
4.0000
W(2,33)

0.3288
-2.0000
4.0000
W2(2,5)

0.3288
-2.0000
4.0000
O(2k/k)

0.3288
-2.0000
4.0000
W(2,2)

0.3288
-2.0000
4.0000
l=2k/k

0.3288
-3.0000
4.0000
k=(2,k2)

0.3288
-3.0000
4.0000
S=W(2,1)

0.3288
-3.0000
2.0000
osp(2/2,)

0.3288
-5.0000
4.0000
(2k-1,k-1)

0.3288
-6.0000
4.0000
J(2k-1,k-1)

0.2308
-2.0000
3.0000
(2k,8)

0.2308
-3.0000
3.0000
(2,2/4)
(2,2/N)

0.2308
-3.0000
3.0000
(2/k,0)

0.2308
-3.0000
3.0000
(2k,2k)

0.2308
-4.0000
3.0000
SU(2,2/1)