Generalized interval-based polynomial approximations to functions in applied mechanics by using the method of quantifier elimination - Ioakimidis, Nikolaos (Αυτο-έκδοση, 2020)