Text this: Generalized interval-based polynomial approximations to functions in applied mechanics by using the method of quantifier elimination