Interval computations in various direct and inverse applied mechanics problems related to quantifiers by using the method of quantifier elimination - Ioakimidis, Nikolaos (2020)