An application of Ben-Haim's info-gap decision theory (IGDT) to Todinov's method of algebraic inequalities by employing the method of quantifier elimination - Ioakimidis, Nikolaos (Κανένας, 2022)