Text this: Quantifier-elimination-based interval computations in beam problems studied by using the approximate methods of finite differences and of finite elements