Returned 22 matches (100 formulae, 16715 docs)
    Lookup 77.085 ms, Re-ranking 24.378 ms
    Found 316117 tuple postings, 67887 formulae, 117212 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
0.0000
4.0000
( X , Σ )

1.0000
0.0000
3.0000
(X,w)
(X, π)
(X,v)
(X,σ)
(X,P)
(X,m)
(X,K)
(X,F)
(X,)
(X,ω)
(X,Δ)
(X,b)
(X,)
(X,Y)
(X,Γ)
(X,ϕ)
(X,f)
(X,L)
(X,𝒟)
(X,δ)
(X,q)
(X,k)
(X,ρ)
(X,𝒯)
(X,Λ)
(X,T)
(X,τ)
(X,H)
(X,𝒮)
(X,g)
(X,𝒰)
(X,M)
(X,)
(X,)
(X,D)
(X,ι)
(X,Z)
(X,ξ)
(X,x)
(X,φ)
(X,μ)
(X,p)
(X,d)
(X,Θ)
(X,U)
(X,dist)
(X,η)
(X,G)
(X, A)
(X,)
(X,W)
(X,ν)
(X,)
(X,V)
(X,a)
(X,𝔭)
(X,𝒳)
1.0000
-1.0000
4.0000
(X,Σ)
M(X,Σ)
B(X,Σ)
R(X,Σ)
𝒫(X,Σ)

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

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

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

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

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

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

1.0000
-2.0000
4.0000
(X6,Σ)

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

1.0000
-2.0000
4.0000
A(X,ΣK)

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

1.0000
-3.0000
4.0000
L2(X¯,Σ)

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

1.0000
-3.0000
4.0000
e(Xn,Σn)

1.0000
-3.0000
4.0000
Lq(X,Σ-)

1.0000
-3.0000
4.0000
L2(X,Σ0)

1.0000
-3.0000
4.0000
(Xe,Σe)

1.0000
-3.0000
4.0000
L2(X,Σd)

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