Emiris, I. Mourrain, B. Tsigaridas, E., Separation bounds for polynomial systems, Journal of Symbolic Computation, (101), 128-151, 2020, INSTAP Academic Press, 0747-7171, 1095-855X