Returned 40 matches (100 formulae, 275 docs)
    Lookup 29.247 ms, Re-ranking 35.880 ms
    Found 1225162 tuple postings, 135933 formulae, 159684 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
-1.0000
4.0000
μx1-x2

1.0000
-1.0000
4.0000
4ax-x2

1.0000
-3.0000
4.0000
x˙=bx-x3

1.0000
-5.0000
5.0000
p=-bx-x2y,

0.7742
-1.0000
4.0000
x-x2,

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

0.7742
-1.0000
4.0000
x2-x2

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

0.7742
-2.0000
4.0000
(x1-x2)

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

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

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

0.7742
-3.0000
4.0000
x0x2-x2

0.7742
-3.0000
4.0000
x1-x2
xx2-x2x

0.7742
-3.0000
4.0000
(x2-x12)

0.7742
-3.0000
3.0000
1-x2-x3

0.7742
-4.0000
4.0000
y2=x3-x2
x-=x1-x2
y3=x4-x2
0.7742
-4.0000
4.0000
x1x2-x32
x1x3-x22
x0xi-xi2
0.7742
-4.0000
4.0000
x3-x2-66316100370037243788808101431860x

0.7742
-4.0000
4.0000
x12-x22,
x12-x22.

0.7742
-4.0000
4.0000
x02-x2<0

0.7742
-4.0000
4.0000
(xi2¯-xi¯2)

0.7742
-4.0000
4.0000
11-x-x2

0.7742
-4.0000
4.0000
r(x)=x-x2

0.7742
-4.0000
4.0000
xx¯-x¯20

0.7742
-5.0000
4.0000
x13-x02x2

0.7742
-5.0000
4.0000
x22-x32=0
x02-x120
x32-x221
x02-x32<0
x32-x02=0
x32-x22<0
x32-x22=a
x32-x020
xd2-xs2<0
x02-x12=0

0.7742
-5.0000
4.0000
x02-x2>R2

0.5455
0.0000
3.0000
-x2

0.5455
0.0000
3.0000
x-x

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

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

0.5455
-2.0000
3.0000
x2m-x

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

0.5455
-3.0000
3.0000
xi2-xi
xe2-xe

0.5455
-3.0000
3.0000
-x2n-x

0.5455
-4.0000
3.0000
-x2-x-1

0.3077
-2.0000
2.0000
x2bx