Returned 5 matches (100 formulae, 702 docs)
    Lookup 352.411 ms, Re-ranking 20.596 ms
    Found 7030955 tuple postings, 2565695 formulae, 2724879 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
0.0000
3.0000
sV(z)
sV(x)
sV(λ)
0.7059
0.0000
2.0000
()
Σ()
()
𝒟()
S()
𝒩()
𝔄()
()
Out()
𝒜()
J()
ξ()
𝒴()
Λ()
U()
P()
q()
𝔔()
r()
DT()
()
l()
e()
Γ()
D()
Der()
f()
ϕ()
𝒰()
Pic()
𝐖()
L()
Fix()
Sp()
𝒮()
Ω()
Δ()
F()
𝔖()
span()
𝔹()
T()
Pol()
v()
𝒬()
𝒫()
g()
M()
h()
V()
()
()
I()
𝒪()
α()
G()
H()
𝒱()
Z()
π()
()
Lip()
Aut()
spec()
Spec()
()
C()
Y()
\la_{\text{nest}}()
𝐒𝐭()
Π()
ω()
ball()
W()
β()
Im()
φ()
𝒵()
0.7059
0.0000
2.0000
s(V)

0.4000
0.0000
2.0000
()

0.4000
-1.0000
2.0000
geo-dim()
Cl()
c()
L()
Hol()
Pic()
Out()
Aut()
det()
𝐐𝐋()
approx-dim()
Out()
Jaut()
Th()
card()
Inn()
cl()