Sharp enclosures of the real roots of the classical parametric quadratic equation with one interval coefficient by the method of quantifier elimination - Ioakimidis, Nikolaos (2019)