Returned 37 matches (100 formulae, 440 docs)
    Lookup 3.182 ms, Re-ranking 35.864 ms
    Found 12490 tuple postings, 10059 formulae, 3340 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
0.0000
6.0000
dim f ( Z ) > n

0.8163
0.0000
3.0000
f ( x ) > y
f ( x ) > Y
f ( x ) > ε
0.8163
-1.0000
3.0000
f * ( x ) > λ

0.8163
-1.0000
3.0000
χ f ( x ) > r

0.8163
-2.0000
3.0000
f ( x ) > g ( x )
f ( n ) > g ( n )

0.8163
-4.0000
3.0000
f ( n ) > A ( n ,  n )

0.8163
-4.0000
3.0000
f ( x 0 ) > K / 2.

0.8163
-4.0000
3.0000
f ( x ) > o ( g ( x ) )

0.8163
-4.0000
3.0000
f ( x ) > g ( x )

0.8163
-4.0000
3.0000
Re ( s ) > n - 1 2

0.8163
-4.0000
3.0000
f 2 ( x ) > g 2 ( x )

0.8163
-5.0000
3.0000
{ x X : f ( x ) > a }

0.6977
-1.0000
3.0000
dim f ( X ) < k

0.6977
-3.0000
3.0000
dim f - 1 ( s ) r

0.6316
-1.0000
3.0000
f ( p ) > 0
f ( a ) > 0
f ( n ) > 0
f ( x ) > 0
f ( b ) > 0

0.6316
-2.0000
3.0000
f ′′ ( x ) > 0
f ( x ) > 0
f ( q ) > 0
0.6316
-2.0000
3.0000
f X ( x ) > 0

0.6316
-2.0000
3.0000
f ( x ) > -

0.6316
-3.0000
3.0000
f ( y ) > f ( x )
f ( x ) > f ( y )
f ( b ) > f ( a )
0.6316
-3.0000
3.0000
f ( z 0 ) > 0
f ′′ ( x n ) > 0
f ( x 0 ) > 0
0.6316
-3.0000
3.0000
f ( x ; θ ) > 0

0.6316
-3.0000
3.0000
M ( n ) > n / 4

0.6316
-4.0000
3.0000
f ( x + h ) > 0

0.6316
-5.0000
3.0000
| y > | f ( x 0 ) >

0.6316
-6.0000
3.0000
x | x > | f ( x ) >

0.6316
-6.0000
3.0000
| x > | y f ( x ) >

0.6316
-6.0000
2.0000
μ ( f n ( U ) U ) > 0

0.4444
0.0000
3.0000
f ( Z )

0.4444
0.0000
2.0000
f ( τ )
f ( ω )
f ( z )
f ( m )
f ( ζ )
f ( γ )
f ( U )
f ( 𝒙 )
f ( k )
f ( )
f ( P )
f ( ε )
f ( θ )
f ( j )
f ( 𝔞 )
f ( v )
f ( s )
f ( 𝑺 )
f ( α )
f ( 𝐫 )
f ( Θ )
f ( β )
f ( c )
f ( 𝐐 )
f ( H )
f ( u )
f ( n )
f ( x )
f ( C )
f ( Ω )
f ( X )
f ( r )
f ( L )
f ( 𝐱 )
f ( a )
f ( y )
f ( w )
f ( R )
f ( i )
f ( 𝐯 )
f ( A )
f ( λ )
f ( q )
f ( 𝐲 )
f ( t )
0.4444
0.0000
2.0000
θ ( Z )
A ( Z )
E ( Z )
0.4444
-2.0000
3.0000
f - 1 ( Z )

0.4444
-4.0000
3.0000
x f - 1 ( Z )

0.4444
-5.0000
3.0000
f ( Z t ) - f ( 0 )

0.4444
-6.0000
3.0000
f ( 𝐱 r ) > f ( 𝐱 n )

0.2500
0.0000
2.0000
( Z )

0.2500
-1.0000
2.0000
k > n
ν > n
m > n
0.2500
-1.0000
2.0000
f ( 0 )
f ( )
f ( 1 )