Text this: Interval computations in various direct and inverse applied mechanics problems related to quantifiers by using the method of quantifier elimination