Returned 46 matches (100 formulae, 714 docs)
    Lookup 86.988 ms, Re-ranking 33.482 ms
    Found 701251 tuple postings, 313405 formulae, 317467 documents
[ formulas ] [ documents ] [ documents-by-formula ]

0.8163
0.0000
4.0000
f(x)>n

0.8163
0.0000
3.0000
lg(η)>n
K(x)>n
l(λ)>n
(s)>n

0.8163
0.0000
3.0000
M(Z)>K

0.8163
0.0000
3.0000
f(x)>δ

0.8163
-1.0000
4.0000
C(Zn)>n

0.8163
-1.0000
4.0000
dimf(C)>0

0.8163
-1.0000
4.0000
f(Sn)>n
f(pn)>n

0.8163
-2.0000
4.0000
f(G)>n(G)

0.8163
-2.0000
4.0000
dimf(C)>0,

0.8163
-2.0000
4.0000
f(x)>n-1

0.8163
-2.0000
4.0000
f(g(n))>n

0.8163
-2.0000
3.0000
m(f(n))>n

0.8163
-4.0000
4.0000
f(G)>n=n(G)

0.8163
-4.0000
4.0000
fmnn(En)>n

0.8163
-4.0000
4.0000
fn(itn)>n

0.8163
-4.0000
3.0000
κ(f-1(V))>n
κ(f-1(c))>n

0.6977
-1.0000
4.0000
dimf(Z)=ν

0.6977
-4.0000
4.0000
dimYdimf(Z)=ν

0.6316
0.0000
3.0000
dimf(V)
dimf(X)

0.6316
0.0000
3.0000
(τ)>n

0.6316
-1.0000
3.0000
f(ζ)>2 .
f(E)>0
f(x)>0.
f(σ)>0
f(𝔷)>0
f(t)>0
f(x)>0
f(i)>0
f(p)>0
f(u)>0
f(s)>0
f(r)>0
f(a)>0

0.6316
-2.0000
4.0000
fα(n)>n

0.6316
-2.0000
4.0000
f(n)>nα
f(n)>nk

0.6316
-2.0000
4.0000
dimf(Z)=0

0.6316
-2.0000
4.0000
dim(ZZ)>n

0.6316
-2.0000
4.0000
f(n)>n,

0.6316
-3.0000
4.0000
f(n)>n+1

0.6316
-3.0000
4.0000
fx(Z2)>0

0.6316
-3.0000
4.0000
dimf(Zi)=0

0.6316
-4.0000
4.0000
fP(n)>ncn

0.6316
-4.0000
3.0000
Px(Z(0)>n)

0.6316
-5.0000
2.0000
dim(f(Z))>d-r

0.6316
-5.0000
2.0000
m(f-1(Z))>0

0.5000
-1.0000
3.0000
f(Z)Y
f(Z)B

0.4444
0.0000
3.0000
f(Z)

0.4444
-1.0000
3.0000
fa(Z)
fn(Z)
f𝐪(Z)
fs(Z)
fx(Z)
fπ(Z)
fj(Z)
fA(Z)
f*(Z)
fJ(Z)
fq(Z)
f1(Z)
0.4444
-1.0000
3.0000
df(Z)
Bf(Z)
νf(Z)
lnf(Z)

0.4444
-1.0000
3.0000
fI(Z)
f(Z)¯
f#(Z)
fa(Z)
f^2(Z)
fA(Z)
f~(Z)

0.4444
-1.0000
3.0000
f(Z0)
f(Zs)
f(Z1)
f(Zρ)
f(Z2)
f(Z3)
f(Zi)
f(Zn)
f(Zf)
f(Zt)
f(ZI)

0.4444
-1.0000
3.0000
f(Z~)
f(Z¯)
f(Zc)
f(Z*)
f(Z^)

0.4444
-1.0000
3.0000
[f(Z)]

0.4444
-2.0000
3.0000
f(Z)=0

0.4444
-2.0000
3.0000
Re(Z)>0

0.4444
-2.0000
3.0000
zf(Z)

0.4444
-2.0000
3.0000
f-1(Z)

0.4444
-6.0000
3.0000
dim(Z)>codim(f(V))