Applications of quantifier elimination to the proofs of algebraic inequalities in engineering problems related to Todinov's method for risk reduction - Ioakimidis, Nikolaos (Κανένας, 2022)