Returned 30 matches (100 formulae, 266 docs)
    Lookup 38.100 ms, Re-ranking 35.436 ms
    Found 1291064 tuple postings, 121653 formulae, 148708 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
-1.0000
4.0000
4ax-x2

1.0000
-1.0000
4.0000
μx1-x2

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

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
c=x-x2
1-x-x2
xx-x2
0.7742
-2.0000
4.0000
(x1-x2)

0.7742
-3.0000
4.0000
x02-xi2
x22-x32
x22-x12
x12-x22
x12-xi2
xi2-xj2
0.7742
-3.0000
4.0000
xx2-x2x
x1-x2

0.7742
-3.0000
4.0000
x3-x2-1
x3-x2+1
x4-x2+20
x2-x~2=const

0.7742
-3.0000
4.0000
x0x2-x2

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

0.7742
-3.0000
4.0000
(x2-x12)

0.7742
-4.0000
4.0000
|x11-x22|
(xϵ2¯-xϵ¯2)
(x12-x22)
(xi2¯-xi¯2)

0.7742
-4.0000
4.0000
x1x3-x22
x1x2-x32
x0xi-xi2
0.7742
-4.0000
4.0000
x12-x22,
x12-x22.

0.7742
-4.0000
4.0000
x02-x2<0

0.7742
-5.0000
4.0000
x32-x22=a
x12-x22<0
xd2-xs2<0
x22-x12=1
x32-x22<0
x02-x12=0
x02-x32<0
x02-x320
x32-x020
x22-x02=const.
x32-x02=0
x02-x120
x+2-x-21
x22-x320
x12-x22=2
x22-x32=1
x12-x22=0
x22-x32=0
x32-x221
x12-x22>0
x02-x32>0
0.7742
-5.0000
4.0000
x13-x02x2

0.6154
-3.0000
4.0000
bx2=x2b

0.5455
0.0000
3.0000
x-x

0.5455
0.0000
3.0000
-x2

0.5455
-1.0000
3.0000
x0-x
x2-x
xk-x
xc-x
x1-x
xn-x
xi-x

0.5455
-1.0000
3.0000
x+-x
x27-x
xq-x
xm-x
x13-x
xL-x
xa-x
x3-x
xg-x
x-x
x2-x
x--x
xp-x
x^-x

0.5455
-2.0000
3.0000
x2m-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
-x2n-x

0.3529
-2.0000
3.0000
x2-72
x2-u2
x2-c2
x2-t2
x2-32
x2-a2
x2-λ2
x2-m2
x2-y2