Computation of ranges of functions in problems of applied mechanics with the computational method of quantifier elimination - Ioakimidis, Nikolaos (2018)