Returned 26 matches (100 formulae, 153 docs)
    Lookup 0.953 ms, Re-ranking 26.154 ms
    Found 3528 tuple postings, 783 formulae, 617 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
0.0000
4.0000
( X , Σ )

1.0000
0.0000
3.0000
( X , Z )
( X , ρ )
( X , 𝒯 )
( X , )
( X , Y )
( X , f )
( X , ω )
( X , P )
( X , τ )
( X , π )
( X ,  𝔉 )
( X , A )
( X , 𝒪 )
( X , p )
( X , d )
( X , U )
( X , μ )
( X , D )
( X , Ω )
( X ,  )
( X , 𝒜 )
1.0000
-1.0000
4.0000
( X , Σ X )

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

1.0000
-1.0000
3.0000
H ( X , Y )
P ( X , ε )
NWScore ( X , Y )
L ( X , Y )
( X , )
Q ( X , Y )
( X , Y )
G ( X , Φ )
Sh ( X , 𝒞 )
S ( X , Y )
d ( X , Y )
Γ ( X , )
D ( X , Y )
P ( X , x )
𝒦 ( X , K )
T ( X , Y )
τ ( X , Z )
ψ ( X , t )
I ( X , Y )
g ( X , Y )
( X , Δ )
Z ( X , t )
ρ ( X , t )
σ ( X , Y )
p ( X , Y )
C ( X , M )
g ( X , θ )
F ( X , Y )
Hom ( X , Y )
𝒫 ( X , 𝒜 )
𝒞 ( X , )
P ( X , t )
L ( X , )
P ( X , Y )

1.0000
-1.0000
3.0000
( X , d X )
( X , x 0 )
( X , τ 2 )
( X , 𝒪 X )
( X , τ 1 )
( X , R i )
1.0000
-1.0000
3.0000
( X , τ )
( X , 𝒯 )

1.0000
-1.0000
3.0000
( X , c l )

1.0000
-1.0000
3.0000
( X , Y ) ,

1.0000
-1.0000
3.0000
( X , τ )

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

1.0000
-2.0000
3.0000
G = ( X , E )

1.0000
-2.0000
3.0000
( X 2 , Y 2 )

1.0000
-2.0000
3.0000
F ( X , Y ) G

1.0000
-2.0000
3.0000
( X , Σ , μ )

1.0000
-2.0000
3.0000
( X ′′ , Y ′′ )

1.0000
-2.0000
3.0000
dCov 2 ( X , Y )

1.0000
-6.0000
4.0000
( X , Σ ) = { 0 , 1 }

0.7059
-1.0000
3.0000
( X , = )
( X , < )
( X , X )
( X , cl )
( X , )
( X , )
0.7059
-2.0000
3.0000
( X , X * )
( X , X )
( X , X n )
0.7059
-2.0000
3.0000
( X * , )
( X ω , )

0.7059
-2.0000
3.0000
Γ ( X , )
Hom ( X , - )
cov ( X , X )
Hom ( X , X )

0.7059
-2.0000
3.0000
( X , X )

0.7059
-3.0000
3.0000
σ ( X , X )
β ( X , X )

0.7059
-3.0000
3.0000
τ ( X , X )
β ( X , X )

0.7059
-3.0000
3.0000
P = ( X , < )