Αποστολή με SMS: Quantifier-elimination-based interval computations in beam problems studied by using the approximate methods of finite differences and of finite elements