Returned 51 matches (100 formulae, 431 docs)
    Lookup 336.173 ms, Re-ranking 37.689 ms
    Found 3282930 tuple postings, 1471673 formulae, 1385987 documents
[ formulas ] [ documents ] [ documents-by-formula ]

0.8163
0.0000
4.0000
f(x)>n

0.8163
0.0000
3.0000
l(w)>n
K(ω)>n
Re(s)>n
K(x)>n
h(C)>n
M(v)>n
deg(w)>n
lg(η)>n
osc(H)>n
(w)>n
l(λ)>n
(s)>n
w(F)>n
ind(p)>n
c(i)>n
(λ)>n

0.8163
0.0000
3.0000
M(Z)>K

0.8163
-1.0000
4.0000
C(Zn)>n

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

0.8163
-1.0000
3.0000
multZ()>n
multZ(𝒟)>n

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

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

0.6977
-1.0000
4.0000
dimf(Z)=ν

0.6977
-4.0000
4.0000
dimYdimf(Z)=ν

0.6316
0.0000
3.0000
(τ)>n

0.6316
-1.0000
3.0000
dim(Z)>0
m(Z)>0
ν(Z)>0
Ric(Z)>0

0.6316
-1.0000
3.0000
r(n)>n

0.6316
-1.0000
3.0000
n(t)>n

0.6316
-1.0000
3.0000
|Φ(Z)>

0.6316
-1.0000
3.0000
f(n)>0

0.6316
-2.0000
4.0000
fα(n)>n

0.6316
-2.0000
4.0000
dim(ZZ)>n

0.6316
-2.0000
4.0000
dimf(Z)=0

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

0.6316
-2.0000
4.0000
f(n)>n,

0.6316
-2.0000
3.0000
mn(Z)>0

0.6316
-2.0000
3.0000
Im(Z)>tn

0.6316
-3.0000
4.0000
dimf(Zi)=0

0.6316
-3.0000
4.0000
fx(Z2)>0

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

0.6316
-4.0000
3.0000
ωd,n(Z)>0

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

0.4444
0.0000
3.0000
f(Z)

0.4444
-1.0000
3.0000
f(Z*)

0.4444
-1.0000
3.0000
f(Z1)
f(Z0)
f(Zi)
f(Zn)

0.4444
-1.0000
3.0000
fx(Z)
fj(Z)
f1(Z)
f𝐪(Z)
fn(Z)

0.4444
-1.0000
3.0000
νf(Z)
Bf(Z)
df(Z)
lnf(Z)

0.4444
-1.0000
3.0000
fI(Z)

0.4444
-1.0000
2.0000
En(Z)
ϕn(Z)
gn(Z)
Hn(Z)

0.4444
-1.0000
2.0000
G(Zn)
h(Zn)
D(Zn)
ϕ(Zn)
V(Zn)
P(Zn)
(Zn)
𝐄(Zn)

0.4444
-1.0000
2.0000
n(Z)

0.4444
-2.0000
3.0000
codim(Z)>0
Re(Z)>0
codim(Z)>1
dim(Z)>1

0.4444
-2.0000
3.0000
f-n(Z)

0.4444
-2.0000
3.0000
fn(Zn)
fi(Zn)

0.4444
-2.0000
3.0000
zf(Z)
vf(Z)

0.4444
-2.0000
3.0000
{fn(Z)}

0.4444
-2.0000
3.0000
f(Z)=0

0.4444
-2.0000
3.0000
fn(Zn)

0.4444
-3.0000
3.0000
f(Z)Zn

0.4444
-3.0000
3.0000
𝐄(f(Zn))

0.4444
-3.0000
2.0000
f(𝐄(Zn))

0.2500
-1.0000
2.0000
(Zn)

0.2500
-1.0000
2.0000
(Zn)

0.2500
-2.0000
2.0000
Matn(Z)

0.2500
-2.0000
2.0000
Isom(Zn)