Returned 52 matches (100 formulae, 458 docs)
    Lookup 23.963 ms, Re-ranking 33.896 ms
    Found 590620 tuple postings, 62721 formulae, 72459 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
-1.0000
4.0000
4ax-x2

1.0000
-1.0000
4.0000
μx1-x2

1.0000
-1.0000
3.0000
λx2-x4

1.0000
-5.0000
5.0000
p=-bx-x2y,

0.7742
-1.0000
4.0000
x2-x~2
x1-x2

0.7742
-1.0000
4.0000
x2-x2

0.7742
-1.0000
4.0000
x-x2,

0.7742
-1.0000
3.0000
x2-x3
x2-x4
x2-x5
x2-x11

0.7742
-2.0000
4.0000
(x1-x2)

0.7742
-2.0000
4.0000
c=x-x2
1-x-x2
xx-x2
0.7742
-2.0000
3.0000
k2x2-x

0.7742
-2.0000
3.0000
(x2-x3)

0.7742
-3.0000
4.0000
x1-x2
xx2-x2x

0.7742
-3.0000
4.0000
x02-xi2
x22-x12
x22-x32
x12-x22
x12-xi2
xi2-xj2
0.7742
-3.0000
4.0000
x2-x~2=const
x4-x2+20
x3-x2+1
x3-x2-1

0.7742
-3.0000
4.0000
y=x3-x2
f=x4-x2

0.7742
-3.0000
4.0000
x0x2-x2

0.7742
-3.0000
4.0000
(x2-x12)

0.7742
-3.0000
3.0000
x32-x23

0.7742
-3.0000
3.0000
|x¯2-x¯1|2

0.7742
-3.0000
3.0000
1-x2-x3

0.5455
0.0000
3.0000
-x2

0.5455
0.0000
3.0000
x-x

0.5455
-1.0000
3.0000
x0-x

0.5455
-1.0000
3.0000
bx-1
x-xμ

0.5455
-1.0000
3.0000
xq-x
x2-x
x-x
x13-x
x3-x

0.5455
-1.0000
3.0000
-x12
-xp2

0.5455
-1.0000
3.0000
x-xω
x-xn
x-xr
x-xH
x-x0

0.5455
-1.0000
3.0000
-x˙2

0.5455
-1.0000
3.0000
x-x
x-x
x-x
0.5455
-1.0000
3.0000
y-x2
1-x2
d-x2
0.5455
-1.0000
3.0000
e-x2

0.5455
-2.0000
3.0000
x2m-x

0.5455
-3.0000
3.0000
-x2n-x

0.5455
-3.0000
3.0000
x2-x-c
x2-x+2
x2-x-4
x2-x=0
x2-x-1
x2-xF
x2-x+1

0.5455
-3.0000
3.0000
=x2-x,

0.5455
-3.0000
3.0000
-x2-y2

0.5455
-3.0000
3.0000
xe2-xe
xi2-xi

0.5455
-3.0000
3.0000
g(x2-x)

0.5455
-3.0000
3.0000
f=x2-x

0.5455
-4.0000
3.0000
-x2-x-1
2x2-x-2
2x2-x+1
2x2-x+2

0.5455
-4.0000
3.0000
x2-x|L|.
x2-x|H|.

0.5455
-4.0000
3.0000
x~22-x~1

0.5455
-4.0000
3.0000
ϱ-x2-y2

0.5455
-4.0000
3.0000
-x2-37y2
-x2-79y2

0.5455
-4.0000
2.0000
ax2-bx4

0.3077
-1.0000
2.0000
bx2

0.3077
-2.0000
2.0000
x2-β
x2-y
x2-t
x2-1
x2-z
x2-Δ
x2-D

0.3077
-2.0000
2.0000
-x-y

0.3077
-2.0000
2.0000
bxn2

0.3077
-4.0000
2.0000
-x-χx2

0.3077
-5.0000
2.0000
x2-bx+1