Αποστολή με SMS: Computation of ranges of functions in problems of applied mechanics with the computational method of quantifier elimination