Returned 34 matches (100 formulae, 15502 docs)
    Lookup 128.853 ms, Re-ranking 26.642 ms
    Found 8238999 tuple postings, 1707839 formulae, 1919775 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
0.0000
4.0000
( X , Σ )

1.0000
0.0000
3.0000
(X,)
(X,F)
(X,𝒯)
(X,Y)
(X,𝒳)
(X,𝔭)
(X,dist)
(X,δ)
(X,)
(X, A)
(X,f)
(X,)
(X,M)
(X,k)
(X,)
(X,p)
(X,V)
(X,σ)
(X,τ)
(X,Θ)
(X, π)
(X,L)
(X,K)
(X,φ)
(X,)
(X,ω)
(X,m)
(X,a)
(X,ρ)
(X,μ)
(X,T)
(X,)
(X,𝒰)
(X,D)
(X,G)
(X,Z)
(X,η)
(X,ϕ)
(X,ι)
(X,d)
(X,g)
(X,ν)
(X,W)

1.0000
-1.0000
4.0000
(X,Σ)
𝒫(X,Σ)
B(X,Σ)
M(X,Σ)
R(X,Σ)

1.0000
-1.0000
4.0000
(XΣ,Σ)
(Xn,Σ)

1.0000
-1.0000
4.0000
(X,Σg)
(X,ΣK)

1.0000
-1.0000
3.0000
Σ(X,K)
Σ(X,)

1.0000
-1.0000
3.0000
(XΣ,Y)
(XΣ,D)

1.0000
-1.0000
3.0000
(X,dΣ)

1.0000
-1.0000
3.0000
(X,sΣ)

1.0000
-2.0000
4.0000
ba(X,Σ)
C(X,Σ)

1.0000
-2.0000
4.0000
C(X,Σ)
H0(X,Σ)
H2(X,Σ)
H1(X,Σ)

1.0000
-2.0000
4.0000
(X1,Σ1)
(XO,ΣO)
(Xi,Σi)
(X2,Σ2)
(XC,ΣC)

1.0000
-2.0000
4.0000
(X6,Σ)

1.0000
-2.0000
4.0000
A(X,ΣK)

1.0000
-2.0000
4.0000
(X,Σ)
(X-,Σ-)

1.0000
-2.0000
4.0000
(X,Σ(X))

1.0000
-2.0000
3.0000
Maps(XΣ,)
Map(XΣ,)

1.0000
-2.0000
3.0000
ΣS(X,n)

1.0000
-2.0000
3.0000
LipΣ(X,E)

1.0000
-2.0000
3.0000
(X,NΣ)

1.0000
-3.0000
4.0000
(Xe,Σe)

1.0000
-3.0000
4.0000
ρR(X,Σ)
f(X,Σ)
E=(X,Σ)
1.0000
-3.0000
4.0000
L2(X,Σ0)

1.0000
-3.0000
4.0000
L2(X,Σd)

1.0000
-3.0000
4.0000
N(i)(X,Σ)

1.0000
-3.0000
4.0000
A=A(X,Σ)

1.0000
-3.0000
4.0000
L2(X¯,Σ)

1.0000
-3.0000
4.0000
Lq(X,Σ-)

1.0000
-3.0000
4.0000
e(Xn,Σn)

1.0000
-4.0000
4.0000
X¯=(XΣ,Σ)

1.0000
-4.0000
4.0000
μM1(X,Σ)

1.0000
-5.0000
4.0000
fE=(X,Σ)
s:I(X,Σ)

0.7059
-1.0000
3.0000
(X, )
(X, <)
(X, *)
(X,X)

0.7059
-1.0000
3.0000
M(X,)