Αποστολή με SMS: Applications of quantifier elimination to the proofs of algebraic inequalities in engineering problems related to Todinov's method for risk reduction